Page 1 Next

Displaying 1 – 20 of 145

Showing per page

A compact ccc non-separable space from a Hausdorff gap and Martin's Axiom

Murray G. Bell (1996)

Commentationes Mathematicae Universitatis Carolinae

We answer a question of I. Juhasz by showing that MA + ¬ CH does not imply that every compact ccc space of countable π -character is separable. The space constructed has the additional property that it does not map continuously onto I ω 1 .

A compact Hausdorff topology that is a T₁-complement of itself

Dmitri Shakhmatov, Michael Tkachenko (2002)

Fundamenta Mathematicae

Topologies τ₁ and τ₂ on a set X are called T₁-complementary if τ₁ ∩ τ₂ = X∖F: F ⊆ X is finite ∪ ∅ and τ₁∪τ₂ is a subbase for the discrete topology on X. Topological spaces ( X , τ X ) and ( Y , τ Y ) are called T₁-complementary provided that there exists a bijection f: X → Y such that τ X and f - 1 ( U ) : U τ Y are T₁-complementary topologies on X. We provide an example of a compact Hausdorff space of size 2 which is T₁-complementary to itself ( denotes the cardinality of the continuum). We prove that the existence of a compact Hausdorff...

A Corson compact L-space from a Suslin tree

Peter Nyikos (2015)

Colloquium Mathematicae

The completion of a Suslin tree is shown to be a consistent example of a Corson compact L-space when endowed with the coarse wedge topology. The example has the further properties of being zero-dimensional and monotonically normal.

A group topology on the free abelian group of cardinality 𝔠 that makes its square countably compact

Ana Carolina Boero, Artur Hideyuki Tomita (2011)

Fundamenta Mathematicae

Under 𝔭 = 𝔠, we prove that it is possible to endow the free abelian group of cardinality 𝔠 with a group topology that makes its square countably compact. This answers a question posed by Madariaga-Garcia and Tomita and by Tkachenko. We also prove that there exists a Wallace semigroup (i.e., a countably compact both-sided cancellative topological semigroup which is not a topological group) whose square is countably compact. This answers a question posed by Grant.

A non-metrizable collectionwise Hausdorff tree with no uncountable chains and no Aronszajn subtrees

Akira Iwasa, Peter J. Nyikos (2006)

Commentationes Mathematicae Universitatis Carolinae

It is independent of the usual (ZFC) axioms of set theory whether every collectionwise Hausdorff tree is either metrizable or has an uncountable chain. We show that even if we add “or has an Aronszajn subtree,” the statement remains ZFC-independent. This is done by constructing a tree as in the title, using the set-theoretic hypothesis * , which holds in Gödel’s Constructible Universe.

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

A tree π -base for * without cofinal branches

Fernando Hernández-Hernández (2005)

Commentationes Mathematicae Universitatis Carolinae

We prove an analogue to Dordal’s result in P.L. Dordal, A model in which the base-matrix tree cannot have cofinal branches, J. Symbolic Logic 52 (1980), 651–664. He obtained a model of ZFC in which there is a tree π -base for * with no ω 2 branches yet of height ω 2 . We establish that this is also possible for * using a natural modification of Mathias forcing.

AB-compacta

Isaac Gorelic, István Juhász (2008)

Commentationes Mathematicae Universitatis Carolinae

Almost disjoint families and “never” cardinal invariants

Charles Morgan, Samuel Gomes da Silva (2009)

Commentationes Mathematicae Universitatis Carolinae

We define two cardinal invariants of the continuum which arise naturally from combinatorially and topologically appealing properties of almost disjoint families of sets of the natural numbers. These are the never soft and never countably paracompact numbers. We show that these cardinals must both be equal to ω 1 under the effective weak diamond principle ( ω , ω , < ) , answering questions of da Silva S.G., On the presence of countable paracompactness, normality and property ( a ) in spaces from almost disjoint families,...

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

An independency result in connectification theory

Alessandro Fedeli, Attilio Le Donne (1999)

Commentationes Mathematicae Universitatis Carolinae

A space is called connectifiable if it can be densely embedded in a connected Hausdorff space. Let ψ be the following statement: “a perfect T 3 -space X with no more than 2 𝔠 clopen subsets is connectifiable if and only if no proper nonempty clopen subset of X is feebly compact". In this note we show that neither ψ nor ¬ ψ is provable in ZFC.

An irrational problem

Franklin D. Tall (2002)

Fundamenta Mathematicae

Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define X M to be X ∩ M with topology generated by U M : U M . Suppose X M is homeomorphic to the irrationals; must X = X M ? We have partial results. We also answer a question of Gruenhage by showing that if X M is homeomorphic to the “Long Cantor Set”, then X = X M .

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

Currently displaying 1 – 20 of 145

Page 1 Next