Page 1 Next

Displaying 1 – 20 of 195

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 solution to Comfort's question on the countable compactness of powers of a topological group

Artur Hideyuki Tomita (2005)

Fundamenta Mathematicae

In 1990, Comfort asked Question 477 in the survey book “Open Problems in Topology”: Is there, for every (not necessarily infinite) cardinal number α 2 , a topological group G such that G γ is countably compact for all cardinals γ < α, but G α is not countably compact? Hart and van Mill showed in 1991 that α = 2 answers this question affirmatively under M A c o u n t a b l e . Recently, Tomita showed that every finite cardinal answers Comfort’s question in the affirmative, also from M A c o u n t a b l e . However, the question has remained...

Aggregate theory versus set theory

Hartley Slater (2005)

Philosophia Scientiae

Les arguments de Maddy avancés en 1990 contre la théorie des agrégats se trouvent affaiblis par le retournement qu’elle opère en 1997. La présente communication examine cette théorie à la lumière de ce retournement ainsi que des récentes recherches sur les “Nouveaux axiomes pour les mathématiques”. Si la théorie des ensembles est la théorie de la partie–tout des singletons, identifier les singletons à leurs membres singuliers ramène la théorie des ensembles à la théorie des agrégats. Toutefois si...

Almost disjoint families and property (a)

Paul Szeptycki, Jerry Vaughan (1998)

Fundamenta Mathematicae

We consider the question: when does a Ψ-space satisfy property (a)? We show that if | A | < p then the Ψ-space Ψ(A) satisfies property (a), but in some Cohen models the negation of CH holds and every uncountable Ψ-space fails to satisfy property (a). We also show that in a model of Fleissner and Miller there exists a Ψ-space of cardinality p which has property (a). We extend a theorem of Matveev relating the existence of certain closed discrete subsets with the failure of property (a).

Applications of some strong set-theoretic axioms to locally compact T₅ and hereditarily scwH spaces

Peter J. Nyikos (2003)

Fundamenta Mathematicae

Under some very strong set-theoretic hypotheses, hereditarily normal spaces (also referred to as T₅ spaces) that are locally compact and hereditarily collectionwise Hausdorff can have a highly simplified structure. This paper gives a structure theorem (Theorem 1) that applies to all such ω₁-compact spaces and another (Theorem 4) to all such spaces of Lindelöf number ≤ ℵ₁. It also introduces an axiom (Axiom F) on crowding of functions, with consequences (Theorem 3) for the crowding of countably compact...

Axioms which imply GCH

Jan Mycielski (2003)

Fundamenta Mathematicae

We propose some new set-theoretic axioms which imply the generalized continuum hypothesis, and we discuss some of their consequences.

Currently displaying 1 – 20 of 195

Page 1 Next