Combinatorial trees in Priestley spaces

Richard N. Ball; Aleš Pultr; Jiří Sichler

Displaying similar documents to “Combinatorial trees in Priestley spaces”

A note on Tsirelson type ideals

Boban Veličković (1999)

Fundamenta Mathematicae

Similarity:

Using Tsirelson’s well-known example of a Banach space which does not contain a copy of $c_{0}$ or $l_{p}$ , for p ≥ 1, we construct a simple Borel ideal $I_{T}$ such that the Borel cardinalities of the quotient spaces $P (ℕ) / I_{T}$ and $P (ℕ) / I_{0}$ are incomparable, where $I_{0}$ is the summable ideal of all sets A ⊆ ℕ such that $\sum_{n \in A} 1 / (n + 1) < \infty$ . This disproves a “trichotomy” conjecture for Borel ideals proposed by Kechris and Mazur.

Directoids with an antitone involution

Ivan Chajda, Miroslav Kolařík (2007)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We investigate $⊓$ -directoids which are bounded and equipped by a unary operation which is an antitone involution. Hence, a new operation $⊔$ can be introduced via De Morgan laws. Basic properties of these algebras are established. On every such an algebra a ring-like structure can be derived whose axioms are similar to that of a generalized boolean quasiring. We introduce a concept of symmetrical difference and prove its basic properties. Finally, we study conditions of direct decomposability...

Strong Fubini properties of ideals

Ireneusz Recław, Piotr Zakrzewski (1999)

Fundamenta Mathematicae

Similarity:

Let I and J be σ-ideals on Polish spaces X and Y, respectively. We say that the pair ⟨I,J⟩ has the Strong Fubini Property (SFP) if for every set D ⊆ X× Y with measurable sections, if all its sections $D_{x} = y : ⟨ x, y ⟩ \in D$ are in J, then the sections $D^{y} = x : ⟨ x, y ⟩ \in D$ are in I for every y outside a set from J (“measurable" means being a member of the σ-algebra of Borel sets modulo sets from the respective σ-ideal). We study the question of which pairs of σ-ideals have the Strong Fubini Property. Since CH excludes this...

Normal numbers and subsets of N with given densities

Haseo Ki, Tom Linton (1994)

Fundamenta Mathematicae

Similarity:

For X ⊆ [0,1], let $D_{X}$ denote the collection of subsets of ℕ whose densities lie in X. Given the exact location of X in the Borel or difference hierarchy, we exhibit the exact location of $D_{X}$ . For α ≥ 3, X is properly $D_{ξ} (Π_{α}^{0})$ iff $D_{X}$ is properly $D_{ξ} (Π_{1 + α}^{0})$ . We also show that for every nonempty set X ⊆[0,1], $D_{X}$ is $Π_{3}^{0}$ -hard. For each nonempty $Π_{2}^{0}$ set X ⊆ [0,1], in particular for X = x, $D_{X}$ is $Π_{3}^{0}$ -complete. For each n ≥ 2, the collection of real numbers that are normal or simply normal to base n is $Π_{3}^{0}$ -complete. Moreover,...

Partition properties of subsets of Pκλ

Masahiro Shioya (1999)

Fundamenta Mathematicae

Similarity:

Let κ > ω be a regular cardinal and λ > κ a cardinal. The following partition property is shown to be consistent relative to a supercompact cardinal: For any $f : \cup_{n < ω} {[X]}_{\subset}^{n} \to γ$ with $X \subset P_{κ} λ$ unbounded and 1 < γ < κ there is an unbounded Y ∪ X with $| f^{''} {[Y]}_{\subset}^{n} | = 1$ for any n < ω.

Strongly meager sets and subsets of the plane

Janusz Pawlikowski (1998)

Fundamenta Mathematicae

Similarity:

Let $X \subseteq 2^{w}$ . Consider the class of all Borel $F \subseteq X \times 2^{w}$ with null vertical sections $F_{x}$ , x ∈ X. We show that if for all such F and all null Z ⊆ X, $\cup_{x \in Z} F_{x}$ is null, then for all such F, $\cup_{x \in X} F_{x} \neq 2^{w}$ . The theorem generalizes the fact that every Sierpiński set is strongly meager and was announced in [P].

Growth of the product $\prod_{j = 1}^{n} (1 - x^{a_{j}})$

J. P. Bell, P. B. Borwein, L. B. Richmond (1998)

Acta Arithmetica

Similarity:

We estimate the maximum of $\prod_{j = 1}^{n} | 1 - x^{a_{j}} |$ on the unit circle where 1 ≤ a₁ ≤ a₂ ≤ ... is a sequence of integers. We show that when $a_{j}$ is $j^{k}$ or when $a_{j}$ is a quadratic in j that takes on positive integer values, the maximum grows as exp(cn), where c is a positive constant. This complements results of Sudler and Wright that show exponential growth when $a_{j}$ is j. In contrast we show, under fairly general conditions, that the maximum is less than $2^{n} / n^{r}$ , where r is an arbitrary positive number. One consequence...

Strongly almost disjoint familes, revisited

A. Hajnal, Istvan Juhász, Saharon Shelah (2000)

Fundamenta Mathematicae

Similarity:

The relations M(κ,λ,μ) → B [resp. B(σ)] meaning that if $A \subset {[κ]}^{λ}$ with |A|=κ is μ-almost disjoint then A has property B [resp. has a σ-transversal] had been introduced and studied under GCH in [EH]. Our two main results here say the following: Assume GCH and let ϱ be any regular cardinal with a supercompact [resp. 2-huge] cardinal above ϱ. Then there is a ϱ-closed forcing P such that, in $V^{P}$ , we have both GCH and $M (ϱ^{(+ ϱ + 1)}, ϱ^{+}, ϱ) ↛ B$ [resp. $M (ϱ^{(+ ϱ + 1)}, λ, ϱ) ↛ B (ϱ^{+})$ for all $λ \leq ϱ^{(+ ϱ + 1)}]$ . These show that, consistently, the results of [EH] are sharp....

Distribution of lattice points on hyperbolic surfaces

Vsevolod F. Lev (1996)

Acta Arithmetica

Similarity:

Let two lattices $Λ^{'}, Λ^{''} \subset ℝ^{s}$ have the same number of points on each hyperbolic surface $| x ₁ . . . x_{s} | = C$ . We investigate the case when Λ’, Λ” are sublattices of $ℤ^{s}$ of the same prime index and show that then Λ’ and Λ” must coincide up to renumbering the coordinate axes and changing their directions.

Co-H-structures on equivariant Moore spaces

Martin Arkowitz, Marek Golasiński (1994)

Fundamenta Mathematicae

Similarity:

Let G be a finite group, $𝕆_{G}$ the category of canonical orbits of G and $A : 𝕆_{G} \to 𝔸$ b a contravariant functor to the category of abelian groups. We investigate the set of G-homotopy classes of comultiplications of a Moore G-space of type (A,n) where n ≥ 2 and prove that if such a Moore G-space X is a cogroup, then it has a unique comultiplication if dim X < 2n - 1. If dim X = 2n-1, then the set of comultiplications of X is in one-one correspondence with $E x t^{n - 1} (A, A \otimes A)$ . Then the case $G = ℤ_{p^{k}}$ leads to an example of...

A forcing construction of thin-tall Boolean algebras

Juan Martínez (1999)

Fundamenta Mathematicae

Similarity:

It was proved by Juhász and Weiss that for every ordinal α with $0 < α < ω_{2}$ there is a superatomic Boolean algebra of height α and width ω. We prove that if κ is an infinite cardinal such that $κ^{< κ} = κ$ and α is an ordinal such that $0 < α < κ^{+ +}$ , then there is a cardinal-preserving partial order that forces the existence of a superatomic Boolean algebra of height α and width κ. Furthermore, iterating this forcing through all $α < κ^{+ +}$ , we obtain a notion of forcing that preserves cardinals and such that in the corresponding...

Rigid $ℵ_{ε}$ -saturated models of superstable theories

Ziv Shami, Saharon Shelah (1999)

Fundamenta Mathematicae

Similarity:

In a countable superstable NDOP theory, the existence of a rigid $ﬡ_{ε}$ -saturated model implies the existence of $2^{λ}$ rigid $ﬡ_{ε}$ -saturated models of power λ for every $λ > 2^{ﬡ_{0}}$ .