Displaying similar documents to “Recursive expansions”

Expansions of the real line by open sets: o-minimality and open cores

Chris Miller, Patrick Speissegger (1999)

Fundamenta Mathematicae

Similarity:

The open core of a structure ℜ := (ℝ,<,...) is defined to be the reduct (in the sense of definability) of ℜ generated by all of its definable open sets. If the open core of ℜ is o-minimal, then the topological closure of any definable set has finitely many connected components. We show that if every definable subset of ℝ is finite or uncountable, or if ℜ defines addition and multiplication and every definable open subset of ℝ has finitely many connected components, then the open core...

Partition properties of ω1 compatible with CH

Uri Abraham, Stevo Todorčević (1997)

Fundamenta Mathematicae

Similarity:

A combinatorial statement concerning ideals of countable subsets of ω is introduced and proved to be consistent with the Continuum Hypothesis. This statement implies the Suslin Hypothesis, that all (ω, ω*)-gaps are Hausdorff, and that every coherent sequence on ω either almost includes or is orthogonal to some uncountable subset of ω.

Bohr compactifications of discrete structures

Joan Hart, Kenneth Kunen (1999)

Fundamenta Mathematicae

Similarity:

We prove the following theorem: Given a⊆ω and 1 ≤ α < ω 1 C K , if for some η < ℵ 1 and all u ∈ WO of length η, a is Σ α 0 ( u ) , then a is Σ α 0 .We use this result to give a new, forcing-free, proof of Leo Harrington’s theorem: Σ 1 1 -Turing-determinacy implies the existence of 0 .

Dense orderings, partitions and weak forms of choice

Carlos González (1995)

Fundamenta Mathematicae

Similarity:

We investigate the relative consistency and independence of statements which imply the existence of various kinds of dense orders, including dense linear orders. We study as well the relationship between these statements and others involving partition properties. Since we work in ZF (i.e. without the Axiom of Choice), we also analyze the role that some weaker forms of AC play in this context

Composants of the horseshoe

Christoph Bandt (1994)

Fundamenta Mathematicae

Similarity:

The horseshoe or bucket handle continuum, defined as the inverse limit of the tent map, is one of the standard examples in continua theory as well as in dynamical systems. It is not arcwise connected. Its arcwise components coincide with composants, and with unstable manifolds in the dynamical setting. Knaster asked whether these composants are all homeomorphic, with the obvious exception of the zero composant. Partial results were obtained by Bellamy (1979), Dębski and Tymchatyn (1987),...

Almost all submaximal groups are paracompact and σ-discrete

O. Alas, I. Protasov, M. Tkačenko, V. Tkachuk, R. Wilson, I. Yaschenko (1998)

Fundamenta Mathematicae

Similarity:

We prove that any topological group of a non-measurable cardinality is hereditarily paracompact and strongly σ-discrete as soon as it is submaximal. Consequently, such a group is zero-dimensional. Examples of uncountable maximal separable spaces are constructed in ZFC.