Computational complexity on computable metric spaces
pág. 3
Index sets for omega-languages
pág. 22
Decidability in Euclidean spaces
pág. 34
Products of compact spaces and the axiom of choice II
pág. 57
Expansions of ordered fields without definable gaps
pág. 72
The shortest definition of a number in Peano arithmetic
pág. 83
On translations of complete first order theories
pág. 87
The Fraenkel-Carnap question for Dedekind algebras
pág. 92
On the axiom of extensionality in the positive set theory
pág. 97
Strongly maximal subgroups determined by elements in interstices
pág. 101
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: