PARTIALLY ORDERED in Portuguese translation

• parcialmente ordenado
• parcialmente ordenada
• parcialmente ordenados

Examples of using Partially ordered in English and their translations into Portuguese

This lead us to investigate partially ordered sets(posets) that satisfies the ideal extension property,
Isto nos leva a investigar conjuntos parcialmente ordenados(posets) que satisfazem a propriedade de extensão de ideais i.e.,

The idea behind the proof is that the subsets of any set form a Boolean algebra partially ordered by inclusion, and any Boolean algebra is representable as an algebra of sets by Stone's representation theorem.
A ideia por trás da prova é que subconjuntos de qualquer conjunto formam uma álgebra booleana parcialmente ordenada por inclusão, e qualquer álgebra booleana é representével como uma algebra de conjuntos pelo Teorema da representação de Stone.

Game-theoretical semantics has made a resurgence lately mainly due to Jaakko Hintikka for logics of(finite) partially ordered quantification which were originally investigated by Leon Henkin,
Lógica do diálogo de jogos ressurgiu recentemente, devido principalmente à Jaakko Hintikka para lógicas(finitas) de quantificação parcialmente ordenada, que foram originalmente investigadas por Leon Henkin,

is a type of mathematical diagram used to represent a finite partially ordered set, in the form of a drawing of its transitive reduction.
é um tipo de diagrama matemático utilizado para representar um conjunto parcialmente ordenado finito, na forma de um grafo de sua redução transitiva.

is to find an increasing subsequence of maximum length of a given finite sequence of elements drawn from a partially ordered set.
consiste em encontrar uma subsequência crescente de comprimento máximo de uma dada sequência finita de elementos retirados de um conjunto parcialmente ordenado.

An intuitionistic Kripke frame F is a partially ordered set, and a Kripke model M is a Kripke frame with valuation such that{ x∣ M,
Uma estrutura Kripke intuicionista F é o conjunto parcialmente ordenado, e o modelo Kripke M é a estrutura de Kripke com valoração tal qual{ x∣ M, x⊩ p}{\displaystyle\{x\mid M,

The disadvantages are that the semantics is not 2-valued, and that the combinatorics of B are often more complicated than those of the underlying poset P. One interpretation of forcing starts with a countable transitive model M of ZF set theory, a partially ordered set P, and a"generic" subset G of P, and constructs a new model of ZF set theory from these objects.
Uma interpretação do forçamento começa com um modelo contábil transitivo M da teoria dos conjuntos ZF, um conjunto parcialmente ordenado P, e um subconjunto"genérico" G de P, e constrói um novo modelo da teoria dos conjuntos ZF a partir desses objetos.

Furthermore, the Turing degrees are partially ordered so that if the Turing degree of a set"X" is less than the Turing degree of a set"Y" then any(noncomputable)
Além disso, os graus de Turing são parcialmente ordenada de modo que, se o grau de Turing de um conjunto“X” é menor que o grau de Turing de um conjunto“Y”, então qualquer procedimento(computável)

For a partially ordered set(S,≤) one represents each element of S as a vertex in the plane
Para um conjunto parcialmente ordenado(S,≤), um diagrama de Hasse é um grafo onde:

on the hasse diagram of the partially ordered sets of faces in a regular polygon containing n edges and the power set of{1,…, n.
no diagrama de hasse dos conjuntos parcialmente ordenados das faces de um polígono regular de n lados e no conjunto das partes de{1,…, n.

This material enters in a partially ordered magnetic state at a temperature t1n~ 1 k,
Este material entra em um estado antiferromagnético parcialmente ordenado à temperatura t1n~ 1 k,

If the considered partially ordered set(poset) has binary suprema(a.k.a. joins),
Se o conjunto parcialmente ordenado(em inglês, poset) tem supremo/ínfimo binários,

let A be a partially ordered set and T a totally ordered subset of A. Then{ S∣ T⊆ S⊆ A and S totally ordered}{\displaystyle\{S\mid T\subseteq S\subseteq A{\mbox{ and S totally ordered}}\}} is partially ordered by set inclusion⊆{\displaystyle\subseteq},
seja A um conjunto parcialmente ordenado e T um subconjunto totalmente ordenado de A. Então{ S∣ T⊆ S⊆ A e S é totalmente ordenado}{\ displaystyle\{ S\ mid T\ subseteq S\ subseteq A{\ mbox{ e S é totalmente ordenado}}\}} é parcialmente ordenado pela inclusão⊆{\ displaystyle\ subseteq},

Furthermore, the Turing degrees are partially ordered so that if the Turing degree of a set X is less than the Turing degree of a set Y then any(noncomputable)
Além disso, os graus de Turing são parcialmente ordenada de modo que, se o grau de Turing de um conjunto“X” é menor que o grau de Turing de um conjunto“Y”, então qualquer procedimento(computável) que correctamente decide

imply that containment partially orders the spheres.
implicam que a contenção ordena parcialmente as esferas.

Every countable partially ordered set can be embedded in the Turing degrees.
Cada conjunto contável parcialmente ordenado pode ser incorporado nos graus de Turing.

An equivalent form of the principle is that in every partially ordered set there exists a maximal totally ordered subset.
Uma forma equivalente do princípio é que todo conjunto parcialmente ordenado existe um subconjunto maximal totalmente ordenado.

a set is well partially ordered if all its non-empty subsets have a finite number of minimal elements.
de um conjunto bem-ordenado, um conjunto totalmente ordenado tal que todo subconjunto não vazio possui um elemento mínimo.

vertices have rank 0, edges rank 1, etc. with the partially ordered ranking corresponding to the dimensionality of the geometric elements.
as arestas 1,etc., com o ordenamento parcialmente ordenado correspondente à dimensionalidade dos elementos geométricos.

Although casualties were not numerous, the Germanic defeat was sufficiently great to have a deterrent effect on other tribal groups in the area, and to partially restore order.
Embora as baixas não tenham sido significativas, a derrota foi suficiente para interromper o ímpeto dos demais grupos na região, restaurando parcialmente a ordem.