Qualquer ultrafiltro principal (em partes dos naturais por exemplo) é
demonstrado existir sem uso do AC, ou de algo mais fraco: Fixe n um número
natural e considere a família de todos os conjuntos de números naturais que
contém n. Isso é um ultrafiltro.
Abraço
Rodrigo
2012/11/20 Walter Carn
Ola Rodrigo,
ele queria os nao-principais (pelo que.sei do trabalho dele),
Abs
Waltet
Em 20/11/2012 08:22, "Rodrigo Freire" escreveu:
> Qualquer ultrafiltro principal (em partes dos naturais por exemplo) é
> demonstrado existir sem uso do AC, ou de algo mais fraco: Fixe n um número
> natural e c
Ok. Para os não-principais é preciso uma forma fraca do AC, conforme o
Walter observou.
Abs
Rodrigo
2012/11/20 Walter Carnielli
> Ola Rodrigo,
> ele queria os nao-principais (pelo que.sei do trabalho dele),
> Abs
> Waltet
> Em 20/11/2012 08:22, "Rodrigo Freire" escreveu:
>
> Qualquer ultrafil
Olá a todos,
Eu só gostaria de sugerir um plug-in que eu encontrei muito útil para
aqueles que amam Latex e tem Gmail:
GMAILTEX
http://alexeev.org/gmailtex.html
Você pode escrever os seus e-mails no GMail usando notação próxima do Latex
e o plug-in compila os símbolos substituindo-os pelos símbo
PARACONSISTENT NEWSLETTER - FALL 2012
"Man is the master of contradictions, they occur through him, and so he is
more noble than they."
Guess who said that and win free vacations to the island of inconsistencies!
Decision between winners will be made on the basis of further
information: title of
Olás,
A forma fraca do Axioma da Escolha que é necessária para garantir a
existência de ultrafiltros não-principais é precisamente o Teorema do
Ultrafiltro (que garante que todo filtro numa álgebra de Boole pode
ser estendido a um ultrafiltro), que por sua vez é equivalente ao
Teorema do
Muito obrigado ao Rodrigo e ao Samuel.
As ideias são praticamente as mesmas na Semântica com que estou trabalhando
e é interessante ver como elas funcionam alhures.
Em 20 de novembro de 2012 08:32, Rodrigo Freire escreveu:
> Ok. Para os não-principais é preciso uma forma fraca do AC, conforme o
Caros,
Nas pp. 110-111 do livro de Felgner tem um resumo de equivalentes do
BPI. Do equivalente (f)
(f) In every Boolean Algebra, there exists a 2-valued measure.
segue-se que BPI é equivalente a:
"Toda álgebra de Boole contém um ultrafiltro".
Consideremos uma álgebra de Boole sem átomos. Pelo T
Olás,
Bons exemplos esses ! Gostei. Casos particulares que não precisa da
força toda dos princípios AC e BPI.
O interessante é que o filtro de Frechet, na álgebra de Boole "toda",
partes de X, não é ultrafiltro. Mas na álgebra dos finitos e
cofinitos, é... Legal.
Com meus alunos de inic
O segundo exemplo do Carlos visto de outra forma (que talvez tenha mais
apelo aos lógicos):
Considere a lógica proposicional clássica com infinitas variáveis
proposicionais.
Uma teoria proposicional T que é (consistente e) negação completa não pode
ser finitamente axiomatizável.
prova1: a álgebr
Realmente, interessa muito aos lógicos.
Muitíssimo obrigado a todos que me responderam, fiquei muito feliz pela
atenção. Vamos continuar falando do assunto.
Em 20 de novembro de 2012 19:09, Rodrigo Freire escreveu:
> O segundo exemplo do Carlos visto de outra forma (que talvez tenha mais
> apelo
11 matches
Mail list logo
