Constructions of classes by transfinite induction in AST
Antonín Sochor, Petr Vopěnka (1989)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “The structure of -like orderings”
Constructions of classes by transfinite induction in AST
The equivalence of definable quantifiers in second order arithmetic
Wojciech Guzicki (1981)
Fundamenta Mathematicae
Similarity:
On concentrated sets
R. Gardner (1979)
Fundamenta Mathematicae
Similarity:
First countable and countable spaces all compactifications of which contain βN
Eric van Douwen, Teodor Przymusiński (1979)
Fundamenta Mathematicae
Similarity:
Spaces of continuous characteristic functions
Raushan Z. Buzyakova (2006)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We show that if is first-countable, of countable extent, and a subspace of some ordinal, then is Lindelöf.
Definability of small puncture sets
Andrés Eduardo Caicedo, John Daniel Clemens, Clinton Taylor Conley, Benjamin David Miller (2011)
Fundamenta Mathematicae
Similarity:
We characterize the class of definable families of countable sets for which there is a single countable definable set intersecting every element of the family.
Invariant uniformization
Dale Myers (1976)
Fundamenta Mathematicae
Similarity: