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

Uri Abraham; Robert Bonnet

Displaying similar documents to “Hausdorff ’s theorem for posets that satisfy the finite antichain property”

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

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.

The Arkhangel’skiĭ–Tall problem: a consistent counterexample

Gary Gruenhage, Piotr Koszmider (1996)

Fundamenta Mathematicae

Similarity:

We construct a consistent example of a normal locally compact metacompact space which is not paracompact, answering a question of A. V. Arkhangel’skiĭ and F. Tall. An interplay between a tower in P(ω)/Fin, an almost disjoint family in ${[ω]}^{ω}$ , and a version of an (ω,1)-morass forms the core of the proof. A part of the poset which forces the counterexample can be considered a modification of a poset due to Judah and Shelah for obtaining a Q-set by a countable support iteration.

Linear relations between roots of polynomials

Kurt Girstmair (1999)

Acta Arithmetica

Similarity:

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

Linear orders and MA + ¬wKH

Zoran Spasojević (1995)

Fundamenta Mathematicae

Similarity:

I prove that the statement that “every linear order of size $2^{ω}$ can be embedded in $(ω^{ω}, ≪)$ ” is consistent with MA + ¬ wKH.

Definability within structures related to Pascal’s triangle modulo an integer

Alexis Bès, Ivan Korec (1998)

Fundamenta Mathematicae

Similarity:

Let Sq denote the set of squares, and let $S Q_{n}$ be the squaring function restricted to powers of n; let ⊥ denote the coprimeness relation. Let $B_{n} (x, y) = (\binom{x + y}{x}) M O D n$ . For every integer n ≥ 2 addition and multiplication are definable in the structures ⟨ℕ; Bn,⊥⟩ and ⟨ℕ; Bn,Sq⟩; thus their elementary theories are undecidable. On the other hand, for every prime p the elementary theory of ⟨ℕ; Bp,SQp⟩ is decidable.

A Nielsen theory for intersection numbers

Christopher McCord (1997)

Fundamenta Mathematicae

Similarity:

Nielsen theory, originally developed as a homotopy-theoretic approach to fixed point theory, has been translated and extended to various other problems, such as the study of periodic points, coincidence points and roots. In this paper, the techniques of Nielsen theory are applied to the study of intersections of maps. A Nielsen-type number, the Nielsen intersection number NI(f,g), is introduced, and shown to have many of the properties analogous to those of the Nielsen fixed point number....

Luzin and anti-Luzin almost disjoint families

Judith Roitman, Lajos Soukup (1998)

Fundamenta Mathematicae

Similarity:

Under $M A_{ω_{1}}$ every uncountable almost disjoint family is either anti-Luzin or has an uncountable Luzin subfamily. This fails under CH. Related properties are also investigated.

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

Wildness in the product groups

G. Hjorth (2000)

Fundamenta Mathematicae

Similarity:

Non-abelian Polish groups arising as countable products of countable groups can be tame in arbitrarily complicated ways. This contrasts with some results of Solecki who revealed a very different picture in the abelian case.