Prezados,
As notas de aula do curso que Vladimir Pestov ministrou aqui na Semana Temática
de Lógica da UFBA estão disponíveis em:
https://www.sites.google.com/site/veraopgmatufba/semanas-tematicas/logica
(Clicar em: Aula 1 Pestov, etc.)
A idéia é apresentar os ultrafiltros sobre os naturai
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
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
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
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,
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
