The Arkhangel'skiĭ–Tall problem under Martin’s Axiom

Gary Gruenhage; Piotr Koszmider

Displaying similar documents to “The Arkhangel'skiĭ–Tall problem under Martin’s Axiom”

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.

Diagonal conditions in ordered spaces

Harold Bennett, David Lutzer (1997)

Fundamenta Mathematicae

Similarity:

For a space X and a regular uncountable cardinal κ ≤ |X| we say that κ ∈ D(X) if for each $T \subset X^{2} - Δ (X)$ with |T| = κ, there is an open neighborhood W of Δ(X) such that |T - W| = κ. If $ω_{1} \in D (X)$ then we say that X has a small diagonal, and if every regular uncountable κ ≤ |X| belongs to D(X) then we say that X has an H-diagonal. In this paper we investigate the interplay between D(X) and topological properties of X in the category of generalized ordered spaces. We obtain cardinal invariant theorems and metrization...

Examples of non-shy sets

Randall Dougherty (1994)

Fundamenta Mathematicae

Similarity:

Christensen has defined a generalization of the property of being of Haar measure zero to subsets of (abelian) Polish groups which need not be locally compact; a recent paper of Hunt, Sauer, and Yorke defines the same property for Borel subsets of linear spaces, and gives a number of examples and applications. The latter authors use the term “shyness” for this property, and “prevalence” for the complementary property. In the present paper, we construct a number of examples of non-shy...

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.

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 ∈ ω*.

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

PCA sets and convexity

R. Kaufman (2000)

Fundamenta Mathematicae

Similarity:

Three sets occurring in functional analysis are shown to be of class PCA (also called $Σ_{2}^{1}$ ) and to be exactly of that class. The definition of each set is close to the usual objects of modern analysis, but some subtlety causes the sets to have a greater complexity than expected. Recent work in a similar direction is in [1, 2, 10, 11, 12].

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.

Filters and sequences

Sławomir Solecki (2000)

Fundamenta Mathematicae

Similarity:

We consider two situations which relate properties of filters with properties of the limit operators with respect to these filters. In the first one, we show that the space of sequences having limits with respect to a $Π_{3}^{0}$ filter is itself $Π_{3}^{0}$ and therefore, by a result of Dobrowolski and Marciszewski, such spaces are topologically indistinguishable. This answers a question of Dobrowolski and Marciszewski. In the second one, we characterize universally measurable filters which fulfill Fatou’s...

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

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

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

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

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