All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 436

Showing per page

A big symmetric planar set with small category projections

Krzysztof Ciesielski, Tomasz Natkaniec (2003)

Fundamenta Mathematicae

We show that under appropriate set-theoretic assumptions (which follow from Martin's axiom and the continuum hypothesis) there exists a nowhere meager set A ⊂ ℝ such that (i) the set {c ∈ ℝ: π[(f+c) ∩ (A×A)] is not meager} is meager for each continuous nowhere constant function f: ℝ → ℝ, (ii) the set {c ∈ ℝ: (f+c) ∩ (A×A) = ∅} is nowhere meager for each continuous function f: ℝ → ℝ. The existence of such a set also follows from the principle CPA, which...

A characterization of Ext(G,ℤ) assuming (V = L)

Saharon Shelah, Lutz Strüngmann (2007)

Fundamenta Mathematicae

We complete the characterization of Ext(G,ℤ) for any torsion-free abelian group G assuming Gödel’s axiom of constructibility plus there is no weakly compact cardinal. In particular, we prove in (V = L) that, for a singular cardinal ν of uncountable cofinality which is less than the first weakly compact cardinal and for every sequence ( ν p : p ∈ Π ) of cardinals satisfying ν p ≤ 2 ν (where Π is the set of all primes), there is a torsion-free abelian group G of size ν such that ν p equals the p-rank of Ext(G,ℤ) for every...

A dichotomy for P-ideals of countable sets

Stevo Todorčević (2000)

Fundamenta Mathematicae

A dichotomy concerning ideals of countable subsets of some set is introduced and proved compatible with the Continuum Hypothesis. The dichotomy has influence not only on the Suslin Hypothesis or the structure of Hausdorff gaps in the quotient algebra P ( ℕ ) / but also on some higher order statements like for example the existence of Jensen square sequences.

A forcing construction of thin-tall Boolean algebras

Juan Martínez (1999)

Fundamenta Mathematicae

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

A new large cardinal and Laver sequences for extendibles

Paul Corazza (1997)

Fundamenta Mathematicae

We define a new large cardinal axiom that fits between A 3 and A 4 in the hierarchy of axioms described in [SRK]. We use this new axiom to obtain a Laver sequence for extendible cardinals, improving the known large cardinal upper bound for the existence of such sequences.

A Note on Indestructibility and Strong Compactness

Arthur W. Apter (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

If κ < λ are such that κ is both supercompact and indestructible under κ-directed closed forcing which is also (κ⁺,∞)-distributive and λ is 2 λ supercompact, then by a result of Apter and Hamkins [J. Symbolic Logic 67 (2002)], δ < κ | δ is δ⁺ strongly compact yet δ is not δ⁺ supercompact must be unbounded in κ. We show that the large cardinal hypothesis on λ is necessary by constructing a model containing a supercompact cardinal κ in which no cardinal δ > κ is 2 δ = δ ⁺ supercompact, κ’s supercompactness...

Currently displaying 1 – 20 of 436

Page 1 Next