Oi Thanos! Obrigado, ja' ajudou a beca sim!
Dei uma olhada no Davey/Priestly (2nd ed), procurei por "antichain" lá, e num instante encontrei três definições que podem me ajudar a melhorar a terminologia que eu uso: p.3: 1.3 Chains and antichains p.20: 1.28 The ordered set O(P) of down-sets p.32: 1.30 The width of P Grato =) =) =), Eduardo 2017-05-06 2:49 GMT-03:00 Thanos Tsouanas <[email protected]>: > On Sat, May 06, 2017 at 02:15:22AM -0300, Eduardo Ochs wrote: >> vocês podem me ajudar a encontrar a terminologia "oficial" - e >> referências - pra algo que eu tenho usado de forma amadorística e >> improvisada? É o seguinte: >> >> Se (A,R) é uma ordem parcial no conjunto A vou dizer que B∈Indep(A,R) >> quando B⊆A e todos os pontos de B são "independentes entre si", isto >> é, nenhum deles é "≤" ao outro, i.e., nenhum deles está relacionado >> (por R) a outro; e vou dizer que k∈Nindep(A,R) quando Indep(A,R) >> contém algum subconjunto de A com exatamente k elementos, e vou dizer >> que k=wid(A,R) quando k∈Nindep(A,R) mas k+1∉Nindep(A,R). > > Sobre terminologia, cajo que ajude, rapidamente: > > Antichain: https://en.wikipedia.org/wiki/Antichain > The size of the largest antichain of a poset P is the width of P, w(P), > width(P), etc. > Isso pode simplificar essa paragrafo em cima: > B is an antichain in A. > k ≤ w(A). > etc. > Uma ref: Davey & Priestley, Introduction to Lattices and Order) > Outra: Grätzer, Lattice theory, foundations. > > Deixo o resto para os "modaleiros" ;) > > Abraço > > -- > Thanos > http://www.tsouanas.org/ > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para [email protected]. > Para postar neste grupo, envie um e-mail para [email protected]. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20170506054916.GA97004%40necroulis.the.undead.host. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6h%2BAEa2wOjxnU_HmT3gC6shQ52byhmqJ%3DQyZ88nc5e1og%40mail.gmail.com.
