Ultrafiltros
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Topologias de grupo enumeravelmente compactas: MA, forcing e ultrafiltros seletivos / Countably compact group topologies: MA, forcing and selective ultrafilters
É bem conhecido o fato de que todo grupo compacto tem sequências não triviais convergentes. A existência de grupos enumeravelmente compactos sem sequências não triviais convergentes, foi provada usando axiomas adicionais à axiomática usual ZFC: A. Hajnal e I. Juhász sob CH, E. K. van Douwen sob MA, A. H. Tomita sob MA(sigma-centrada) e R.E. Madariag
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/11/2011
-
2. Countably compact group topologies on non-torsion abelian groups from selective ultrafilters / Topologias enumeravelmente compactas em grupos abelianos de não torção via ultrafiltros seletivos
Assuming the existence of $\\mathfrak c$ pairwise incomparable selective ultrafilters (according to the Rudin-Keisler ordering) we prove that the free abelian group of cardinality $\\mathfrak c$ admits a countably compact group topology that contains a non-trivial convergent sequence. Under the same hypothesis, we show that an abelian almost torsion-free top
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/03/2011
-
3. A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION / UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
There are many kinds of deductive calculus. The axiomatic ones are the more usual. However, from the point of view of proof theory, Natural Deduction systems seem to be more interesting. This is the motivation for developping a technique that aims to ease the transformation from deductive calculus to Natural Deduction style. This work concentrates on the asp
Publicado em: 2004