On absolute retracts of ω*

A. Bella; A. Błaszczyk; A. Szymański

Displaying similar documents to “On absolute retracts of ω*”

Bohr compactifications of discrete structures

Joan Hart, Kenneth Kunen (1999)

Fundamenta Mathematicae

Similarity:

We prove the following theorem: Given a⊆ω and $1 \leq α < ω_{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^{}$ .

Locally constant functions

Joan Hart, Kenneth Kunen (1996)

Fundamenta Mathematicae

Similarity:

Let X be a compact Hausdorff space and M a metric space. $E_{0} (X, M)$ is the set of f ∈ C(X,M) such that there is a dense set of points x ∈ X with f constant on some neighborhood of x. We describe some general classes of X for which $E_{0} (X, M)$ is all of C(X,M). These include βℕ, any nowhere separable LOTS, and any X such that forcing with the open subsets of X does not add reals. In the case where M is a Banach space, we discuss the properties of $E_{0} (X, M)$ as a normed linear space. We also build three first countable...

Properties of the class of measure separable compact spaces

Mirna Džamonja, Kenneth Kunen (1995)

Fundamenta Mathematicae

Similarity:

We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as MS. We discuss some closure properties of MS, and show that some simply defined compact spaces, such as compact ordered spaces or compact scattered spaces, are in MS. Most of the basic theory for regular measures is true just in ZFC. On the other hand, the existence of a compact ordered scattered space which carries a non-separable (non-regular)...

Nonseparable Radon measures and small compact spaces

Grzegorz Plebanek (1997)

Fundamenta Mathematicae

Similarity:

We investigate the problem if every compact space K carrying a Radon measure of Maharam type κ can be continuously mapped onto the Tikhonov cube ${[0, 1]}^{κ}$ (κ being an uncountable cardinal). We show that for κ ≥ cf(κ) ≥ κ this holds if and only if κ is a precaliber of measure algebras. Assuming that there is a family of $ω_{1}$ null sets in $2^{ω 1}$ such that every perfect set meets one of them, we construct a compact space showing that the answer to the above problem is “no” for κ = ω. We also give alternative...

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).

Cofinal $Σ_{1}^{1}$ and $Π_{1}^{1}$ subsets of $ω^{ω}$

Gabriel Debs, Jean Saint Raymond (1999)

Fundamenta Mathematicae

Similarity:

We study properties of $\sum_{1}^{1}$ and $π_{1}^{1}$ subsets of $ω^{ω}$ that are cofinal relative to the orders ≤ (≤*) of full (eventual) domination. We apply these results to prove that the topological statement “Any compact covering mapping from a Borel space onto a Polish space is inductively perfect” is equivalent to the statement " $\forall α \in ω^{ω}, ω^{ω} \cap L (α)$ is bounded for ≤*".

On absolutely divergent series

Sakaé Fuchino, Heike Mildenberger, Saharon Shelah, Peter Vojtáš (1999)

Fundamenta Mathematicae

Similarity:

We show that in the $ℵ_{2}$ -stage countable support iteration of Mathias forcing over a model of CH the complete Boolean algebra generated by absolutely divergent series under eventual dominance is not isomorphic to the completion of P(ω)/fin. This complements Vojtáš’ result that under $c f () =$ the two algebras are isomorphic [15].

The concept of boundedness and the Bohr compactification of a MAP Abelian group

Jorge Galindo, Salvador Hernández (1999)

Fundamenta Mathematicae

Similarity:

Let G be a maximally almost periodic (MAP) Abelian group and let ℬ be a boundedness on G in the sense of Vilenkin. We study the relations between ℬ and the Bohr topology of G for some well known groups with boundedness (G,ℬ). As an application, we prove that the Bohr topology of a topological group which is topologically isomorphic to the direct product of a locally convex space and an $ℒ_{\infty}$ -group, contains “many” discrete C-embedded subsets which are C*-embedded in their Bohr compactification....

The theory of dual groups

A. Mekler, G. Schlitt (1994)

Fundamenta Mathematicae

Similarity:

We study the $L_{\infty, w}$ -theory of sequences of dual groups and give a complete classification of the $L_{\infty, w}$ -elementary classes by finding simple invariants for them. We show that nonstandard models exist.

Interpreting reflexive theories in finitely many axioms

V. Shavrukov (1997)

Fundamenta Mathematicae

Similarity:

For finitely axiomatized sequential theories F and reflexive theories R, we give a characterization of the relation ’F interprets R’ in terms of provability of restricted consistency statements on cuts. This characterization is used in a proof that the set of $\prod_{1}$ (as well as $\sum_{1}$ ) sentences π such that GB interprets ZF+π is $Σ_{3}^{0}$ -complete.

Hausdorff ’s theorem for posets that satisfy the finite antichain property

Uri Abraham, Robert Bonnet (1999)

Fundamenta Mathematicae

Similarity:

Hausdorff characterized the class of scattered linear orderings as the least family of linear orderings that includes the ordinals and is closed under ordinal summations and inversions. We formulate and prove a corresponding characterization of the class of scattered partial orderings that satisfy the finite antichain condition (FAC). Consider the least class of partial orderings containing the class of well-founded orderings that satisfy the FAC and is closed under the following operations:...

Chains and antichains in Boolean algebras

M. Losada, Stevo Todorčević (2000)

Fundamenta Mathematicae

Similarity:

We give an affirmative answer to problem DJ from Fremlin’s list [8] which asks whether $M A_{ω_{1}}$ implies that every uncountable Boolean algebra has an uncountable set of pairwise incomparable elements.

Nonmetrizable topological dynamical characterization of central sets

Hong-Ting Shi, Hong-Wei Yang (1996)

Fundamenta Mathematicae

Similarity:

Without the restriction of metrizability, topological dynamical systems $(X, ⟨ T_{s} ⟩_{s \in G})$ are defined and uniform recurrence and proximality are studied. Some well known results are generalized and some new results are obtained. In particular, a topological dynamical characterization of central sets in an arbitrary semigroup (G,+) is given and shown to be equivalent to the usual algebraic characterization.

Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension

Alessandro Andretta, Alberto Marcone (1997)

Fundamenta Mathematicae

Similarity:

We study some natural sets arising in the theory of ordinary differential equations in one variable from the point of view of descriptive set theory and in particular classify them within the Borel hierarchy. We prove that the set of Cauchy problems for ordinary differential equations which have a unique solution is $\prod_{2}^{0}$ -complete and that the set of Cauchy problems which locally have a unique solution is $\sum_{3}^{0}$ -complete. We prove that the set of Cauchy problems which have a global solution is...