2025/12/11 by Lajos Soukup, Soukup, Lajos, Zoltán Szentmiklóssy +1
Mathematics · Computer Science · #Advanced Topology and Set Theory #Homotopy and Cohomology in Algebraic Topology #Computability, Logic, AI Algorithms
paper · pdf · doi:10.48550/arxiv.2512.10854
A base of a topological space is called \em Noetherian iff it does not contain an infinite strictly ⊆-increasing chain. We show that minimal cardinality of a regular spaces without a Noetherian base is the first strongly inaccessible cardinal, answering a question from the 1980s. We also study the \em Noetherian type of a topological space X, denoted by Nt(X), defined as the least cardinal κ such that X has a base \mathcal B with |\B'∈ \mathcal B: B⊂ B'\|<κ for each B∈ \mathcal B. The behavior of the Noetherian type under the Gδ-modification was investigated by Milovich and Spadaro. A central question, posed by them, is whether the Noetherian type of the Gδ-modification of the space D(2)ℵω is ω1. This statement, denoted (Nt), is known to be independent of ZFC + GCH: it holds under ``GCH + \squareℵω'', but fails under ``GCH + (ℵω+1, ℵω)→ (ℵ1, ℵ0)''. We place this phenomenon in a broader context by identifying similar independence phenomena for several topological and combinatorial principles. These include: (wFN) the weak Freese-Nation property of [ℵω]ω; (SAT) the existence of a saturated MAD family in [ℵω]ω; (HnT) the existence of an ω-homogeneous, but not ω-transitive permutation group on ℵω; and (SPL) the existence of a countably compact, locally countable, and ω-fair regular space of cardinality ℵω+1. Assuming GCH, we analyze the logical relationships between these principles and show, for example, that SPL implies wFN, which in turn implies both SAT, HnT and Nt, while SAT does not imply Nt.