Page 1

Displaying 1 – 18 of 18

Showing per page

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

Gary Gruenhage, Piotr Koszmider (1996)

Fundamenta Mathematicae

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.

The Arkhangel'skiĭ–Tall problem under Martin’s Axiom

Gary Gruenhage, Piotr Koszmider (1996)

Fundamenta Mathematicae

We show that MA σ - c e n t e r e d ( ω 1 ) implies that normal locally compact metacompact spaces are paracompact, and that MA( ω 1 ) implies normal locally compact metalindelöf spaces are paracompact. The latter result answers a question of S. Watson. The first result implies that there is a model of set theory in which all normal locally compact metacompact spaces are paracompact, yet there is a normal locally compact metalindelöf space which is not paracompact.

The union of two D-spaces need not be D

Dániel T. Soukup, Paul J. Szeptycki (2013)

Fundamenta Mathematicae

We construct from ⋄ a T₂ example of a hereditarily Lindelöf space X that is not a D-space but is the union of two subspaces both of which are D-spaces. This answers a question of Arhangel'skii.

Topological characterization of the small cardinal i

Antonio de Padua Franco-Filho (2003)

Commentationes Mathematicae Universitatis Carolinae

We show that the small cardinal number i = min { | 𝒜 | : 𝒜 is a maximal independent family} has the following topological characterization: i = min { κ c : { 0 , 1 } κ has a dense irresolvable countable subspace}, where { 0 , 1 } κ denotes the Cantor cube of weight κ . As a consequence of this result, we have that the Cantor cube of weight c has a dense countable submaximal subspace, if we assume (ZFC plus i = c ), or if we work in the Bell-Kunen model, where i = 1 and c = ω 1 .

Totally proper forcing and the Moore-Mrówka problem

Todd Eisworth (2003)

Fundamenta Mathematicae

We describe a totally proper notion of forcing that can be used to shoot uncountable free sequences through certain countably compact non-compact spaces. This is almost (but not quite!) enough to produce a model of ZFC + CH in which countably tight compact spaces are sequential-we still do not know if the notion of forcing described in the paper can be iterated without adding reals.

Two remarks on weaker connected topologies

Phil Delaney, Winfried Just (1999)

Commentationes Mathematicae Universitatis Carolinae

It is shown that no generalized Luzin space condenses onto the unit interval and that the discrete sum of 1 copies of the Cantor set consistently does not condense onto a connected compact space. This answers two questions from [2].

Two spaces homeomorphic to S e q ( p )

Jerry E. Vaughan (2001)

Commentationes Mathematicae Universitatis Carolinae

We consider the spaces called S e q ( u t ) , constructed on the set S e q of all finite sequences of natural numbers using ultrafilters u t to define the topology. For such spaces, we discuss continuity, homogeneity, and rigidity. We prove that S ( u t ) is homogeneous if and only if all the ultrafilters u t have the same Rudin-Keisler type. We proved that a space of Louveau, and in certain cases, a space of Sirota, are homeomorphic to S e q ( p ) (i.e., u t = p for all t S e q ). It follows that for a Ramsey ultrafilter p , S e q ( p ) is a topological group....

Two-to-one continuous images of ℕ*

Alan Dow, Geta Techanie (2005)

Fundamenta Mathematicae

A function is two-to-one if every point in the image has exactly two inverse points. We show that every two-to-one continuous image of ℕ* is homeomorphic to ℕ* when the continuum hypothesis is assumed. We also prove that there is no irreducible two-to-one continuous function whose domain is ℕ* under the same assumption.

Currently displaying 1 – 18 of 18

Page 1