More Set-theory around the weak Freese-Nation property
Abstract
In this paper, we introduce a very weak square principle which is even weaker than the similar principle introduced by Foreman and Magidor. A characterization of this principle is given in term of sequences of elementary submodels of H(). This is used in turn to prove a characterization of kappa-Freese-Nation property under the very weak square principle and a weak variant of the Singular Cardinals Hypothesis. A typical application of this characterization shows that under 20<ω and our very weak square for ω, the partial ordering [omegaω]<ω (ordered by inclusion) has the aleph1-Freese-Nation property. On the other hand we show that, under Chang's Conjecture for ω the partial ordering above does not have the aleph1-Freese-Nation property. Hence we obtain the independence of our characterization of the kappa-Freese-Nation property and also of the very weak square principle from ZFC.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.