Ramsey, Lebesgue, and Marczewski sets and the Baire property

Patrick Reardon

Displaying similar documents to “Ramsey, Lebesgue, and Marczewski sets and the Baire property”

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 ≤*".

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

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

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

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

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.

Topological realization of a family of pseudoreflection groups

Dietrich Notbohm (1998)

Fundamenta Mathematicae

Similarity:

We are interested in a topological realization of a family of pseudoreflection groups $G \subset G L (n, F_{p})$ ; i.e. we are looking for topological spaces whose mod-p cohomology is isomorphic to the ring of invariants $F_{p} {[x_{1}, . . ., x_{n}]}^{G}$ . Spaces of this type give partial answers to a problem of Steenrod, namely which polynomial algebras over $F_{p}$ can appear as the mod-p cohomology of a space. The family under consideration is given by pseudoreflection groups which are subgroups of the wreath product $ℤ / q ≀ Σ_{n}$ where q divides p - 1 and...

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

The minimum uniform compactification of a metric space

R. Grant Woods (1995)

Fundamenta Mathematicae

Similarity:

It is shown that associated with each metric space (X,d) there is a compactification $u_{d} X$ of X that can be characterized as the smallest compactification of X to which each bounded uniformly continuous real-valued continuous function with domain X can be extended. Other characterizations of $u_{d} X$ are presented, and a detailed study of the structure of $u_{d} X$ is undertaken. This culminates in a topological characterization of the outgrowth $u_{d} ℝ^{n} ∖ ℝ^{n}$ , where $(ℝ^{n}, d)$ is Euclidean n-space with its usual metric. ...

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^{}$ .

Hausdorff dimension and measures on Julia sets of some meromorphic maps

Krzysztof Barański (1995)

Fundamenta Mathematicae

Similarity:

We study the Julia sets for some periodic meromorphic maps, namely the maps of the form $f (z) = h (e x p \frac{2 π i}{T} z)$ where h is a rational function or, equivalently, the maps $˜ f (z) = e x p (\frac{2 π i}{h} (z))$ . When the closure of the forward orbits of all critical and asymptotic values is disjoint from the Julia set, then it is hyperbolic and it is possible to construct the Gibbs states on J(˜f) for -α log |˜˜f|. For ˜α = HD(J(˜f)) this state is equivalent to the ˜α-Hausdorff measure or to the ˜α-packing measure provided ˜α is greater or smaller...

Loop spaces and homotopy operations

David Blanc (1997)

Fundamenta Mathematicae

Similarity:

We describe an obstruction theory for an H-space X to be a loop space, in terms of higher homotopy operations taking values in $π_{*} X$ . These depend on first algebraically “delooping” the Π-algebras $π_{*} X$ , using the H-space structure on X, and then trying to realize the delooped Π-algebra.

Countable partitions of the sets of points and lines

James Schmerl (1999)

Fundamenta Mathematicae

Similarity:

The following theorem is proved, answering a question raised by Davies in 1963. If $L_{0} \cup L_{1} \cup L_{2} \cup . . .$ is a partition of the set of lines of $ℝ^{n}$ , then there is a partition $ℝ^{n} = S_{0} \cup S_{1} \cup S_{2} \cup . . .$ such that $| ℓ \cap S_{i} | \leq 2$ whenever $ℓ \in L_{i}$ . There are generalizations to some other, higher-dimensional subspaces, improving recent results of Erdős, Jackson Mauldin.

On partitions of lines and space

Paul Erdös, Steve Jackson, R. Mauldin (1994)

Fundamenta Mathematicae

Similarity:

We consider a set, L, of lines in $ℝ^{n}$ and a partition of L into some number of sets: $L = L_{1} \cup . . . \cup L_{p}$ . We seek a corresponding partition $ℝ^{n} = S_{1} \cup . . . \cup S_{p}$ such that each line l in $L_{i}$ meets the set $S_{i}$ in a set whose cardinality has some fixed bound, $ω_{τ}$ . We determine equivalences between the bounds on the size of the continuum, $2^{ω} \leq ω_{θ}$ , and some relationships between p, $ω_{τ}$ and $ω_{θ}$ .

Two dichotomy theorems on colourability of non-analytic graphs

Vladimir Kanovei (1997)

Fundamenta Mathematicae

Similarity:

We prove: Theorem 1. Let κ be an uncountable cardinal. Every κ-Suslin graph G on reals satisfies one of the following two requirements: (I) G admits a κ-Borel colouring by ordinals below κ; (II) there exists a continuous homomorphism (in some cases an embedding) of a certain locally countable Borel graph $G_{0}$ into G. Theorem 2. In the Solovay model, every OD graph G on reals satisfies one of the following two requirements: (I) G admits an OD colouring by countable ordinals; (II) as above. ...

All solenoids of piecewise smooth maps are period doubling

Lluís Alsedà, Víctor Jiménez López, L’ubomír Snoha (1998)

Fundamenta Mathematicae

Similarity:

We show that piecewise smooth maps with a finite number of pieces of monotonicity and nowhere vanishing Lipschitz continuous derivative can have only period doubling solenoids. The proof is based on the fact that if $p_{1} < . . . < p_{n}$ is a periodic orbit of a continuous map f then there is a union set $q_{1}, . . ., q_{n - 1}$ of some periodic orbits of f such that $p_{i} < q_{i} < p_{i + 1}$ for any i.

The normalizer splitting conjecture for p-compact groups

Kasper Andersen (1999)

Fundamenta Mathematicae

Similarity:

Let X be a p-compact group, with maximal torus BT → BX, maximal torus normalizer BN and Weyl group $W_{X}$ . We prove that for an odd prime p, the fibration $B T \to B N \to B W_{X}$ has a section, which is unique up to vertical homotopy.

Classical-type characterizations of non-metrizable ANE(n)-spaces

Valentin Gutev, Vesko Valov (1994)

Fundamenta Mathematicae

Similarity:

The Kuratowski-Dugundji theorem that a metrizable space is an absolute (neighborhood) extensor in dimension n iff it is $L C^{n - 1} C^{n - 1}$ (resp., $L C^{n - 1}$ ) is extended to a class of non-metrizable absolute (neighborhood) extensors in dimension n. On this base, several facts concerning metrizable extensors are established for non-metrizable ones.