Tradução de "axiom of concern" para a língua portuguesa:

Dicionário Inglês-Português

Axiom - translation :

Concern - translation :

Palavras-chave : Axioma Ditado Explicito Enganador Mundialmente Preocupação Bem-estar Preocupações Preocupa Preocupar

Exemplos (Fontes externas, não revisadas)

And the axiom of global choice follows from the axiom of limitation of size.	E o axioma da escolha global segue do axioma do tamanho limitado.
First order logic Axiom of Equality.	Axioma de Igualdade.
Other choice axioms weaker than axiom of choice include the Boolean prime ideal theorem and the axiom of uniformization.	Outros axiomas mais fracos que o Axioma da Escolha incluem o teorema do ideal primo booleano e o axioma da uniformização.
Contemporary set theorists also study axioms that are not compatible with the axiom of choice, such as the axiom of determinacy.	Teóricos contemporâneos da teoria dos conjuntos também estudam axiomas que não são compatíveis com o axioma da escolha, como o axioma da determinação.
Not every situation requires the axiom of choice.	Nem toda situação requer o Axioma da Escolha.
One example is the axiom of dependent choice (DC).	Um exemplo é o axioma da escolha dependente (DC).
Nomenclature ZF, AC, and ZFC In this article and other discussions of the Axiom of Choice the following abbreviations are common AC the Axiom of Choice.	Nomenclatura ZF, AC, e ZFC Nesse artigo e outras discussões sobre o Axioma da Escolha as seguintes abreviações são comuns AC o Axioma da Escolha (Axiom of Choice).
The axiom of choice is avoided in some varieties of constructive mathematics, although there are varieties of constructive mathematics in which the axiom of choice is embraced.	O axioma da escolha é evitado em algumas várias matemáticas construtivas, embora existam várias matemáticas construtivas onde o axioma da escolha é vivo.
ZF Zermelo Fraenkel set theory omitting the Axiom of Choice.	ZF Teoria dos conjuntos de Zermelo Fraenkel omitindo o Axioma da Escolha.
Even if a fixed model of set theory satisfies the axiom of choice, it is possible for an inner model to fail to satisfy the axiom of choice.	Mesmo que um modelo fixo da teoria dos conjuntos satisfaz o axioma da escolha, é possível que um modelo interno falhe em satisfazer o axioma da escolha.
For example, the existence of sufficiently large cardinals implies that there is an inner model satisfying the axiom of determinacy (and thus not satisfying the axiom of choice).	Por exemplo, a existência de cardinais suficientemente grandes implica que há um modelo interno satisfazendo o axioma do determinismo (e, portanto, não satisfazendo o axioma da escolha).
Issues of special concern are	São motivos especiais de preocupação
It's none of your concern.	Não é da sua conta.
Variants There are many other equivalent statements of the axiom of choice.	Variantes Existem várias outras afirmações equivalentes ao Axioma da Escolha.
going concern	continuidade
In class theories such as Von Neumann Bernays Gödel set theory and Morse Kelley set theory, there is a possible axiom called the axiom of global choice which is stronger than the axiom of choice for sets because it also applies to proper classes.	Na teoria das classes como na teoria dos conjuntos de Von Neumann Bernays Gödel e na teoria dos conjuntos de Morse Kelley, existe um axioma possível chamado de axioma da escolha global que é mais forte do que o Axioma da Escolha para conjuntos porque também se aplica para classes próprias.
This axiom then necessitates the fixed, realist model.	Esse axioma então necessita a fixação em um modelo realista.
The study of inner models is common in the study of determinacy and large cardinals, especially when considering axioms such as the axiom of determinacy that contradict the axiom of choice.	O estudo de modelos de interior é comum no estudo do determinismo e grandes cardinais, especialmente quando se considera axiomas que contradizem o axioma da escolha.
This union exists regardless of the set's size, by the axiom of union.	Esta união existe independente do tamanho do conjunto, pelo axioma da união.
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non empty sets is non empty .	Na matemática, o axioma da escolha é um axioma da teoria dos conjuntos equivalente à afirmação o produto de uma coleção não vazia de conjuntos é não vazio .
This is the concern of generalization.	A nova história da cartografia.
He became an agnostic, taking as an axiom the inconvenience of existence .	Tornou se um agnóstico, tomando por axioma a inconveniência da existência .
ZFC Zermelo Fraenkel set theory, extended to include the Axiom of Choice.	ZFC Teoria dos conjuntos de Zermelo Fraenkel, estendido para incluir o Axioma da Escolha.
For proofs, see Thomas Jech, The Axiom of Choice , American Elsevier Pub.	Para provas, veja Thomas Jech, The Axiom of Choice , American Elsevier Pub.
A cause for this difference is that the axiom of choice in type theory does not have the extensionality properties that the axiom of choice in constructive set theory does.	Uma causa para essa diferença é que o Axioma da Escolha na teoria dos tipos não tem a propriedade da extensionalidade que o Axioma da Escolha na teoria dos conjuntos construtiva tem.
The status of the axiom of choice varies between different varieties of constructive mathematics.	O estado do Axioma da Escolha varia entre diferentes variedades de matemática construtiva.
Some results in constructive set theory use the axiom of countable choice or the axiom of dependent choice, which do not imply the law of the excluded middle in constructive set theory.	Alguns resultados na teoria dos conjuntos construtiva usam o axioma da escolha contável ou o axioma da escolha dependente, que não implica a lei do meio excluído na teoria dos conjuntos construtiva.
The distinction between an axiom and a postulate disappears.	A distinção entre um axioma e um postulado desaparece.
Another name for a non logical axiom is postulate .	Outro nome para um axioma não lógico é postulado.
In Martin Löf type theory and higher order Heyting arithmetic, the appropriate statement of the axiom of choice is (depending on approach) included as an axiom or provable as a theorem.	Na teoria dos tipos de Martin Löf e altam ordem aritmética de Heyting, a afirmação apropriada do Axioma da Escolha é (dependendo da abordagem) incluída como uma axioma ou provada como um teorema.
That's your concern.	Essa é a preocupação de vocês.
They shall concern	Essas regras mínimas incidem sobre
External links Axiom of Choice and Its Equivalents at ProvenMath includes formal statement of the Axiom of Choice, Hausdorff's Maximal Principle, Zorn's Lemma and formal proofs of their equivalence down to the finest detail.	Ver também Ligações externas Axiom of Choice and Its Equivalents at ProvenMath includes formal statement of the Axiom of Choice, Hausdorff's Maximal Principle, Zorn's Lemma and formal proofs of their equivalence down to the finest detail.
Thus the axiom of choice is not generally available in constructive set theory.	Assim o Axioma da Escolha não está geralmente disponível na teoria dos conjuntos construtiva.
They concern the regular deletion of instruments .	Consistem na eliminação regular de instrumentos .
Redemptions concern the regular deletion of instruments .	Consistem na eliminação regular de ins trumentos .
Redemptions concern the regular deletion of instruments .	Consistem na eliminação regular de instrumentos .
After the discovery of paradoxes in naive set theory, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo Fraenkel axioms, with the axiom of choice, are the best known.	Após a descoberta de paradoxos na teoria ingênua dos conjuntos, numerosos sistemas de axiomas foram propostos no início do século XX, dos quais os axiomas de Zermelo Fraenkel, com o axioma da escolha, são os mais conhecidos.
( e ) going concern basis accounts shall be prepared on a going concern basis	e ) Continuidade as contas devem ser elaboradas com base no princípio da continuidade
( e ) going concern basis accounts shall be prepared on a going concern basis	e ) Continuidade as contas serão elaboradas com base no princípio da continuidade
This has been used as an argument against the use of the axiom of choice.	Isso vem sendo usado como um argumento contra o uso do Axioma da Escolha.
(A cancellative binary operation is enough, see group structure and the axiom of choice.	(Uma operação binária cancelante é suficiente.
A cause for concern .	É motivo de preocupação .
This doesn't concern me.	Isso não me preocupa.
This doesn't concern me.	Isso não é assunto meu!

Display this page in English