Cardinals and iterations of HOD
Cofinalities of complete Boolean algebras.
Compact covering mappings and cofinal families of compact subsets of a Borel set
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 ""; 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
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...
Constructibility and shiftings of view
Constructibility in Ackermann's set theory [Book]
Cotorsion-free algebras as endomorphism algebras in - the discrete and topological cases
The discrete algebras over a commutative ring which can be realized as the full endomorphism algebra of a torsion-free -module have been investigated by Dugas and Göbel under the additional set-theoretic axiom of constructibility, . 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
We present a construction from ♢* of a first countable, regular, countably metacompact space with a closed discrete subspace that is not a . In addition some nonperfect spaces with σ-disjoint bases are constructed.