Page 1 Next

Displaying 1 – 20 of 60

Showing per page

A topological application of flat morasses

R. W. Knight (2007)

Fundamenta Mathematicae

We define combinatorial structures which we refer to as flat morasses, and use them to construct a Lindelöf space with points G δ of cardinality ω , consistent with GCH. The construction reveals, it is hoped, that flat morasses are a tool worth adding to the kit of any user of set theory.

Compact covering mappings and cofinal families of compact subsets of a Borel set

G. Debs, J. Saint Raymond (2001)

Fundamenta Mathematicae

Among other results we prove that the topological statement “Any compact covering mapping between two Π⁰₃ spaces is inductively perfect” is equivalent to the set-theoretical statement " α ω ω , ω L ( α ) < ω "; and that the statement “Any compact covering mapping between two coanalytic spaces is inductively perfect” is equivalent to “Analytic Determinacy”. We also prove that these statements are connected to some regularity properties of coanalytic cofinal sets in (X), the hyperspace of all compact subsets of a Borel...

Consistency of the Silver dichotomy in generalised Baire space

Sy-David Friedman (2014)

Fundamenta Mathematicae

Silver’s fundamental dichotomy in the classical theory of Borel reducibility states that any Borel (or even co-analytic) equivalence relation with uncountably many classes has a perfect set of classes. The natural generalisation of this to the generalised Baire space κ κ for a regular uncountable κ fails in Gödel’s L, even for κ-Borel equivalence relations. We show here that Silver’s dichotomy for κ-Borel equivalence relations in κ κ for uncountable regular κ is however consistent (with GCH), assuming...

Cotorsion-free algebras as endomorphism algebras in L - the discrete and topological cases

Rüdiger E. Göbel, Brendan Goldsmith (1993)

Commentationes Mathematicae Universitatis Carolinae

The discrete algebras A over a commutative ring R which can be realized as the full endomorphism algebra of a torsion-free R -module have been investigated by Dugas and Göbel under the additional set-theoretic axiom of constructibility, V = L . Many interesting results have been obtained for cotorsion-free algebras but the proofs involve rather elaborate calculations in linear algebra. Here these results are rederived in a more natural topological setting and substantial generalizations to topological...

Countably metacompact spaces in the constructible universe

Paul Szeptycki (1993)

Fundamenta Mathematicae

We present a construction from ♢* of a first countable, regular, countably metacompact space with a closed discrete subspace that is not a G δ . In addition some nonperfect spaces with σ-disjoint bases are constructed.

Currently displaying 1 – 20 of 60

Page 1 Next