Keisler
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. 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
-
2. 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