On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic

Teresa Bigorajska; Henryk Kotlarski; James Schmerl

Displaying similar documents to “On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic”

Selections that characterize topological completeness

Jan van Mill, Jan Pelant, Roman Pol (1996)

Fundamenta Mathematicae

Similarity:

We show that the assertions of some fundamental selection theorems for lower-semicontinuous maps with completely metrizable range and metrizable domain actually characterize topological completeness of the target space. We also show that certain natural restrictions on the class of the domains change this situation. The results provide in particular answers to questions asked by Engelking, Heath and Michael [3] and Gutev, Nedev, Pelant and Valov [5].

Irreducible representations of metrizable spaces and strongly countable-dimensional spaces

Richard Millspaugh, Leonard Rubin, Philip Schapiro (1995)

Fundamenta Mathematicae

Similarity:

Groups of cubefree order

Claudia Spiro-Silverman (1995)

Acta Arithmetica

Similarity:

Double fibres and double covers: paucity of rational points

J.-L. Colliot-Thélène, A. N. Skorobogatov, Sir Peter Swinnerton-Dyer (1997)

Acta Arithmetica

Similarity:

Dense pairs of o-minimal structures

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.

Measures on Corson compact spaces

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.

Embedding partially ordered sets into $^{ω} ω$

Ilijas Farah (1996)

Fundamenta Mathematicae

Similarity:

We investigate some natural questions about the class of posets which can be embedded into ⟨ω,≤*⟩. Our main tool is a simple ccc forcing notion $H_{E}$ which generically embeds a given poset E into ⟨ω,≤*⟩ and does this in a “minimal” way (see Theorems 9.1, 10.1, 6.1 and 9.2).

Extending real-valued functions in βκ

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 $c$ and that it is consistent that ω*{pis C*-embedded for some but not all p ∈ ω*.