Connectedness of the theory of non-surjective injections
Stanisław Świerczkowski (1995)
Fundamenta Mathematicae
Similarity:
Stanisław Świerczkowski (1995)
Fundamenta Mathematicae
Similarity:
Lou van den Dries (1998)
Fundamenta Mathematicae
Similarity:
The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described. It turns out that a certain notion of "small definable set" plays a special role in this description.
Claudia Spiro-Silverman (1995)
Acta Arithmetica
Similarity:
G. R. Everest, K. Győry (1997)
Acta Arithmetica
Similarity:
E. Bombieri, S. Sperber (1995)
Acta Arithmetica
Similarity:
Kenneth Kunen, Jan van Mill (1995)
Fundamenta Mathematicae
Similarity:
We prove that the statement: "there is a Corson compact space with a non-separable Radon measure" is equivalent to a number of natural statements in set theory.
Alan Dow (1997)
Fundamenta Mathematicae
Similarity:
An Open Coloring Axiom type principle is formulated for uncountable cardinals and is shown to be a consequence of the Proper Forcing Axiom. Several applications are found. We also study dense C*-embedded subspaces of ω*, showing that there can be such sets of cardinality and that it is consistent that ω*{pis C*-embedded for some but not all p ∈ ω*.
Teresa Bigorajska, Henryk Kotlarski, James Schmerl (1998)
Fundamenta Mathematicae
Similarity:
We continue the earlier research of [1]. In particular, we work out a class of regular interstices and show that selective types are realized in regular interstices. We also show that, contrary to the situation above definable elements, the stabilizer of an element inside M(0) whose type is selective need not be maximal.