-
Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
Authors:
Sakaé Fuchino
Abstract:
We introduce (super-$C^{(\infty)}$-)Laver-generic large cardinal axioms for extendibility ((super-$C^{(\infty)}$-)LgLCAs for extendible, for short), and show that most of the previously known consequences of the (super-$C^{(\infty)}$-)LgLCAs for ultrahuge, in particular, general forms of Resurrection Principles, Maximality Principles, and Absoluteness Theorems, already follow from (super-…
▽ More
We introduce (super-$C^{(\infty)}$-)Laver-generic large cardinal axioms for extendibility ((super-$C^{(\infty)}$-)LgLCAs for extendible, for short), and show that most of the previously known consequences of the (super-$C^{(\infty)}$-)LgLCAs for ultrahuge, in particular, general forms of Resurrection Principles, Maximality Principles, and Absoluteness Theorems, already follow from (super-$C^{(\infty)}$\mbox{-)}LgLCAs for extendible.
The consistency of LgLCAs for extendible (for transfinitely iterable $Σ_2$-definable classes of posets) follows from an extendible cardinal while the consistency of super-$C^{(\infty)}$-LgLCAs for extendible follows from a model with a strongly super-$C^{(\infty)}$-extendible cardinal. If $μ$ is an almost-huge cardinal, there are cofinally many $κ<μ$ such that\ $V_μ\models$``$κ$ is strongly super-$C^{(\infty)}$ extendible''.
Most of the known reflection properties follow already from some of the LgLCAs for supercompact. We give a survey on the related results.
We also show the separation between some of the LgLCAs as well as between LgLCAs and their consequences.
LgLCAs are generic large cardinal axioms in terms of generic elementary embeddings with the critical point $κ_{\mathfrak{refl}}=\max\{\aleph_2,2^{\aleph_0}\}$. We show that Laver generic large cardinal axioms for all posets\ in terms of generic elementary embeddings with the critical point $2^{\aleph_0}$ is also possible. We abbreviate this type of axiom for the notion of extendibility as the LgLCAA for extendible and examine its consequences.
△ Less
Submitted 24 June, 2025; v1 submitted 4 June, 2025;
originally announced June 2025.
-
Reflection and Recurrence
Authors:
Sakaé Fuchino
Abstract:
We examine the Zermelo Fraenkel set theory with Choice (ZFC) enhanced by one of the (structural) reflection principles down to a small cardinal and/or Recurrence Axioms defined below. The strongest forms of reflection principles spotlight the three scenarios in which the size of the continuum is either $\aleph_1$, or $\aleph_2$, or very large, while the maximal setting of Recurrence Axioms points…
▽ More
We examine the Zermelo Fraenkel set theory with Choice (ZFC) enhanced by one of the (structural) reflection principles down to a small cardinal and/or Recurrence Axioms defined below. The strongest forms of reflection principles spotlight the three scenarios in which the size of the continuum is either $\aleph_1$, or $\aleph_2$, or very large, while the maximal setting of Recurrence Axioms points to the set-theoretic universe with the continuum of size $\aleph_2$.
We discuss that both the Reflection Principles and Recurrence Axioms can be construed as preferable candidates of the extension of ZFC in terms of the criteria of Gödel's Program. From this view point, the maximal possible (consistent) combination of these principles and axioms, or even some natural strengthening of the combination (which we want to call ``Laver-generic Maximum'' (LGM)) may be considered as the ultimate extension of ZFC (of course ``ultimate'' only for now -- because of the Incompleteness Theorems): LGM resolves the size of the continuum to be $\aleph_2$ and integrates practically all known statements consistent with ZFC in itself either as its consequences (as it is the case with Martin's Maximum$^{++}$) or as theorems holding in many grounds of the universe (as it is the case with Cichoń's Maximum).
△ Less
Submitted 27 October, 2024;
originally announced October 2024.
-
Generic Absoluteness Revisited
Authors:
Sakaé Fuchino,
Takehiko Gappo,
Francesco Parente
Abstract:
The present paper is concerned with the relation between recurrence axioms and Laver-generic large cardinal axioms in light of principles of generic absoluteness and the Ground Axiom.
M. Viale proved that Martin's Maximum$^{++}$ together with the assumption that there are class many Woodin cardinals implies…
▽ More
The present paper is concerned with the relation between recurrence axioms and Laver-generic large cardinal axioms in light of principles of generic absoluteness and the Ground Axiom.
M. Viale proved that Martin's Maximum$^{++}$ together with the assumption that there are class many Woodin cardinals implies $\mathcal{H}(\aleph_2)^{\mathsf{V}}\prec_{Σ_2}\mathcal{H}(\aleph_2)^{\mathsf{V}[\mathbb{G}]}$ for a generic $\mathbb{G}$ on any stationary preserving $\mathbb{P}$ which also preserves Bounded Martin's Maximum. We show that a similar but more general conclusion follows from each of $(\mathcal{P},\mathcal{H}(κ))_{Σ_2}$-${\sf RcA}^+$ (which is a fragment of a reformulation of the Maximality Principle for $\mathcal{P}$ and $\mathcal{H}(κ)$), and the existence of the tightly $\mathcal{P}$-Laver-generically huge cardinal.
While under "$\mathcal{P}=$ all stationary preserving posets", our results are not very much more than Viale's Theorem, for other classes of posets, "$\mathcal{P}=$ all proper posets" or "$\mathcal{P}=$ all ccc posets", for example, our theorems are not at all covered by his theorem.
The assumptions (and hence also the conclusion) of Viale's Theorem are compatible with the Ground Axiom. In contrast, we show that the assumptions of our theorems (for most of the common settings of $\mathcal{P}$ and with a modification of the large cardinal property involved) imply the negation of the Ground Axiom. This fact is used to show that fragments of Recurrence Axiom $(\mathcal{P},\mathcal{H}(κ))_Γ$-${\sf RcA}^+$ can be different from the corresponding fragments of Maximality Principle ${\sf MP}(\mathcal{P},\mathcal{H}(κ))_Γ$ for $Γ=Π_2$.
△ Less
Submitted 17 November, 2024; v1 submitted 20 October, 2024;
originally announced October 2024.
-
On Recurrence Axioms
Authors:
Sakaé Fuchino,
Toshimichi Usuba
Abstract:
The Recurrence Axiom for a class $\mathcal{P}$ of \pos\ and a set $A$ of parameters is an axiom scheme in the language of ZFC asserting that if a statement with parameters from $A$ is forced by a poset in $\mathcal{P}$, then there is a ground containing the parameters and satisfying the statement.
The tightly super-$C^{(\infty)}$-$\mathcal{P}$-Laver generic hyperhuge continuum implies the Recurr…
▽ More
The Recurrence Axiom for a class $\mathcal{P}$ of \pos\ and a set $A$ of parameters is an axiom scheme in the language of ZFC asserting that if a statement with parameters from $A$ is forced by a poset in $\mathcal{P}$, then there is a ground containing the parameters and satisfying the statement.
The tightly super-$C^{(\infty)}$-$\mathcal{P}$-Laver generic hyperhuge continuum implies the Recurrence Axiom for $\mathcal{P}$ and $\mathcal{H}(2^{\aleph_0})$. The consistency strength of this assumption can be decided thanks to our main theorems asserting that the minimal ground (bedrock) exists under a tightly $\mathcal{P}$-generic hyperhuge cardinal $κ$, and that $κ$ in the bedrock is genuinely hyperhuge, or even super $C^{(\infty)}$ hyperhuge if $κ$ is a tightly super-$C^{(\infty)}$-$\mathcal{P}$-Laver generic hyperhuge definable cardinal.
The Laver Generic Maximum (LGM), one of the strongest combinations of axioms in our context, integrates practically all known set-theoretic principles and axioms in itself, either as its consequences or as theorems holding in (many) grounds of the universe. For example, double plus version of Martin's Maximum is a consequence of LGM while Cichoń's Maximum is a phenomenon in many grounds of the universe under LGM.
△ Less
Submitted 20 June, 2025; v1 submitted 4 February, 2024;
originally announced February 2024.
-
Maximality Principles and Ressurection Axioms under a Laver-generic large cardinal
Authors:
Sakaé Fuchino
Abstract:
Set-theoretic axioms formulated in terms of existence of a Laver-generic large cardinal were introduced in [16] and studied further in [17], [18], [20]. These axioms, let us call them Laver-genericity axioms, claim the existence of a $\mathcal{P}$-Laver generic large cardinal for various classes $\mathcal{P}$-of proper or semi-proper posets, and they still vary depending on the notions of large ca…
▽ More
Set-theoretic axioms formulated in terms of existence of a Laver-generic large cardinal were introduced in [16] and studied further in [17], [18], [20]. These axioms, let us call them Laver-genericity axioms, claim the existence of a $\mathcal{P}$-Laver generic large cardinal for various classes $\mathcal{P}$-of proper or semi-proper posets, and they still vary depending on the notions of large cardinal involved, and a modification (tightness) of the definition of Laver-genericity. Laver-genericity axioms we consider here are divided into three groups depending on whether they imply that the Laver generic large cardinal $κ$ is either $\aleph_2=(2^{\aleph_0})^+$, or it is $\aleph_2 = 2^{\aleph_0}$, or else it is very large and $= 2^{\aleph_0}$ (see the Trichotomy Theorem (Theorem 3.5)). Many set-theoretic axioms and principles considered in the recent development of set theory follow from a Laver-genericity axiom in one of these three groups, and by this, they are placed uniformly in a global context (see Figure 3). In spite of this very strong unifying feature of the Laver genericity axioms, we show that Maximality Principle (MP) without parameters is independent over ZFC with any of the Laver-genericity axioms we consider in our present context (Theorem 4.8, Theorem 5.11). Similar independence is also shown for parameterized versions of Maximality Principles (Theorem 6.1, Theorem 6.5). In contrast to these independence results, we can show that local versions of Maximality Principle as well as versions of Resurrection Axioms including the Unbounded Resurrection Axioms of Tsaprounis follow from the existence of a tightly Laver-generic large cardinal for a strong enough notion of large cardinal (Theorem 6.6, Theorem 7.1, Theorem 7.2).
△ Less
Submitted 11 September, 2023; v1 submitted 3 September, 2023;
originally announced September 2023.
-
Weakly extendible cardinals and compactness of extended logics
Authors:
Sakaé Fuchino,
Hiroshi Sakai
Abstract:
We introduce the notion of weakly extendible cardinals and show that these cardinals are characterized in terms of weak compactness of second order logic. The consistency strength and largeness of weakly extendible cardinals are located strictly between that of strongly unfoldable (i.e. shrewd) cardinals, and strongly uplifting cardinals. Weak compactness of many other logics can be connected to c…
▽ More
We introduce the notion of weakly extendible cardinals and show that these cardinals are characterized in terms of weak compactness of second order logic. The consistency strength and largeness of weakly extendible cardinals are located strictly between that of strongly unfoldable (i.e. shrewd) cardinals, and strongly uplifting cardinals. Weak compactness of many other logics can be connected to certain variants of the notion of weakly extendible cardinals. We also show that, under V=L, a cardinal $κ$ is the weak compactness number of ${\cal L}^{\aleph_0,II}_{stat,κ,ω}$ if and only if it is the weak compactness number of ${\cal L}^{II}_{κ,ω}$. The latter condition is equivalent to the condition that $κ$ is weakly extendible by the characterization mentioned above (this equivalence holds without the assumption of V=L).
△ Less
Submitted 5 January, 2023; v1 submitted 29 December, 2022;
originally announced December 2022.
-
Generically supercompact cardinals by forcing with chain conditions
Authors:
Sakaé Fuchino,
Hiroshi Sakai
Abstract:
A ccc-generically supercompact cardinal $κ$ can be smaller than or equal to the continuum. On the other hand, such a cardinal $κ$ still satisfies diverse largeness properties, like that it is a stationary limit of ccc-generically measurable cardinals (Theorem 4.1). This is in a strong contrast to $\cal P$-generically supercompact cardinals for the class $\cal P$ of all $σ$-closed posets, which can…
▽ More
A ccc-generically supercompact cardinal $κ$ can be smaller than or equal to the continuum. On the other hand, such a cardinal $κ$ still satisfies diverse largeness properties, like that it is a stationary limit of ccc-generically measurable cardinals (Theorem 4.1). This is in a strong contrast to $\cal P$-generically supercompact cardinals for the class $\cal P$ of all $σ$-closed posets, which can be $\aleph_n$ for any n>1.
△ Less
Submitted 16 February, 2022;
originally announced February 2022.
-
Strong downward Löwenheim-Skolem theorems for stationary logics, III -- mixed support iteration
Authors:
Sakaé Fuchino,
André Ottenbreit Maschio Rodrigue,
Hiroshi Sakai
Abstract:
Continuing [Fuchino, Ottenbreit and Sakai[9, 10]] and [Fuchino and Ottenbreit[11]], we further study reflection principles in connection with the Löwenheim-Skolem Theorems of stationary logics. In this paper, we mainly analyze the situations in the models obtained by mixed support iteration of a supercompact length and then collapsing another supercompact cardinal to make it $(2^{\aleph_0})^+$. We…
▽ More
Continuing [Fuchino, Ottenbreit and Sakai[9, 10]] and [Fuchino and Ottenbreit[11]], we further study reflection principles in connection with the Löwenheim-Skolem Theorems of stationary logics. In this paper, we mainly analyze the situations in the models obtained by mixed support iteration of a supercompact length and then collapsing another supercompact cardinal to make it $(2^{\aleph_0})^+$. We show, among other things, that the reflection down to $< 2^{\aleph_0}$ of the non-metrizability of topological spaces with small character is independent from the reflection properties studied in [Fuchino, Ottenbreit and Sakai[9, 10]] and [Fuchino and Ottenbreit[11]].
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
The first-order definability of generic large cardinals
Authors:
Sakaé Fuchino,
Hiroshi Sakai
Abstract:
We show that the notions of generic and Laver-generic supercompactness are first-order definable in the language of ZFC. This also holds for generic and Laver-generic (almost) hugeness as well as for generic versions of other large cardinals.
We show that the notions of generic and Laver-generic supercompactness are first-order definable in the language of ZFC. This also holds for generic and Laver-generic (almost) hugeness as well as for generic versions of other large cardinals.
△ Less
Submitted 30 June, 2021; v1 submitted 26 June, 2021;
originally announced June 2021.
-
Strong downward Löwenheim-Skolem theorems for stationary logics, II -- reflection down to the continuum
Authors:
Sakaé Fuchino,
André Ottenbreit Maschio Rodrigues,
Hiroshi Sakai
Abstract:
Continuing the previous paper, we study the Strong Downward Löwenheim-Skolem Theorems (SDLSs) of the stationary logic and their variations. It has been shown that the SDLS for the ordinary stationary logic with weak second-order parameters down to $<\aleph_2$ is equivalent to the conjunction of CH and Cox's Diagonal Reflection Principle for internally clubness. We show that the SDLS for the statio…
▽ More
Continuing the previous paper, we study the Strong Downward Löwenheim-Skolem Theorems (SDLSs) of the stationary logic and their variations. It has been shown that the SDLS for the ordinary stationary logic with weak second-order parameters down to $<\aleph_2$ is equivalent to the conjunction of CH and Cox's Diagonal Reflection Principle for internally clubness. We show that the SDLS for the stationary logic without weak second-order parameters down to $<2^{\aleph_0}$ implies that the size of the continuum is $\aleph_2$. In contrast, an internal interpretation of the stationary logic can satisfy the SDLS down to $<2^{\aleph_0}$ under the continuum being of size $>\aleph_2$. This SDLS is shown to be equivalent to an internal version of the Diagonal Reflection Principle down to an internally stationary set of size $<2^{\aleph_0}$. We also consider a ${\cal P}_κλ$ version of the stationary logic and show that the SDLS for this logic in internal interpretation for reflection down to $<2^{\aleph_0}$ is consistent under the assumption of the consistency of ZFC $+$ "the existence of a supercompact cardinal" and this SDLS implies that the continuum is (at least) weakly Mahlo. These three "axioms" in terms of SDLS are consequences of three instances of a strengthening of generic supercompactness which we call Laver-generic supercompactness. Existence of a Laver-generic supercompact cardinal in each of these three instances also fixes the cardinality of the continuum to be $\aleph_1$ or $\aleph_2$ or very large respectively. We also show that the existence of one of these generic large cardinals implies the "$++$" version of the corresponding forcing axiom.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.
-
Reflection principles, generic large cardinals, and the Continuum Problem
Authors:
Sakaé Fuchino,
André Ottenbreit Maschio Rodrigues
Abstract:
Strong reflection principles with the reflection cardinal $\leq\aleph_1$ or $<2^{\aleph_0}$ imply that the size of the continuum is either $\aleph_1$ or $\aleph_2$ or very large. Thus, the stipulation, that a strong reflection principle should hold, seems to support the trichotomy on the possible size of the continuum.
In this article, we examine the situation with the reflection principles and…
▽ More
Strong reflection principles with the reflection cardinal $\leq\aleph_1$ or $<2^{\aleph_0}$ imply that the size of the continuum is either $\aleph_1$ or $\aleph_2$ or very large. Thus, the stipulation, that a strong reflection principle should hold, seems to support the trichotomy on the possible size of the continuum.
In this article, we examine the situation with the reflection principles and related notions of generic large cardinals.
△ Less
Submitted 5 September, 2020; v1 submitted 3 September, 2020;
originally announced September 2020.
-
On geometrical characterizations of $\mathbb R$-linear mappings
Authors:
Sakaé Fuchino
Abstract:
We consider several characterizations of $\mathbb R$-linear mappings. In particular, we give a characterization of linear mappings whose range is $\geq$ 2 dimensional, in terms of preservation of lines (and contraction of lines to a point) by the mappings. This characterization and its affine version generalize the Fundamental Theorem of Affine Geometry. While the algebraic characterization of…
▽ More
We consider several characterizations of $\mathbb R$-linear mappings. In particular, we give a characterization of linear mappings whose range is $\geq$ 2 dimensional, in terms of preservation of lines (and contraction of lines to a point) by the mappings. This characterization and its affine version generalize the Fundamental Theorem of Affine Geometry. While the algebraic characterization of $\mathbb R$-linear mappings as additive functions depend on the axiom of set theory, our results are provable in (the modern version of) Zermelo's axiom system without Axiom of Choice.
△ Less
Submitted 4 August, 2020;
originally announced August 2020.
-
On the set-generic multiverse
Authors:
Sy David Friedman,
Sakaé Fuchino,
Hiroshi Sakai
Abstract:
The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver's theorem and Bukovský's theorem assert that set-generic extensions of a given ground model constitute a quite reasonable and sufficiently general class of standard models of set-theory.
In sections 2 and 3 of this note, we give a proof of Buko…
▽ More
The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver's theorem and Bukovský's theorem assert that set-generic extensions of a given ground model constitute a quite reasonable and sufficiently general class of standard models of set-theory.
In sections 2 and 3 of this note, we give a proof of Bukovský's theorem in a modern setting (for another proof of this theorem see Bukovský [4]). In section 4 we check that the multiverse of set-generic extensions can be treated as a collection of countable transitive models in a conservative extension of ZFC. The last section then deals with the problem of the existence of infinitely-many independent buttons, which arose in the modal-theoretic approach to the set-generic multiverse by J.Hamkins and B.Loewe [12].
△ Less
Submitted 6 July, 2016;
originally announced July 2016.
-
Pre-Hilbert spaces without orthonormal bases
Authors:
Sakaé Fuchino
Abstract:
We give an algebraic characterization of pre-Hilbert spaces with an orthonormal basis. This characterization is used to show that there are pre-Hilbert spaces $X$ of dimension and density $λ$ for any uncountable $λ$ without any orthonormal basis.
Let us call a pre-Hilbert space without any orthonormal bases pathological. The pair of the cardinals $κ\leqλ$ such that there is a pre-Hilbert space o…
▽ More
We give an algebraic characterization of pre-Hilbert spaces with an orthonormal basis. This characterization is used to show that there are pre-Hilbert spaces $X$ of dimension and density $λ$ for any uncountable $λ$ without any orthonormal basis.
Let us call a pre-Hilbert space without any orthonormal bases pathological. The pair of the cardinals $κ\leqλ$ such that there is a pre-Hilbert space of dimension $κ$ and density $λ$ are known to be characterized by the inequality $λ\leqκ^{\aleph_0}$. Our result implies that there are pathological pre-Hilbert spaces with dimension $κ$ and density $λ$ for all combinations of such $κ$ and $λ$ including the case $κ=λ$.
A Singular Compactness Theorem on pathology of pre-Hilbert spaces is obtained. A reflection theorem asserting that for any pathological pre-Hilbert space $X$ there are stationarily many pathological sub-inner-product-spaces $Y$ of $X$ of smaller density is shown to be equivalent with Fodor-type Reflection Principle (FRP).
△ Less
Submitted 26 June, 2016; v1 submitted 13 June, 2016;
originally announced June 2016.
-
Coloring ordinals by reals
Authors:
Jörg Brendle,
Sakaé Fuchino
Abstract:
We study combinatorial principles we call Homogeneity Principle HP(κ) and Injectivity Principle IP(κ,λ) for regular κ>\aleph_1 and λ\leqκwhich are formulated in terms of coloring the ordinals <κby reals.
We study combinatorial principles we call Homogeneity Principle HP(κ) and Injectivity Principle IP(κ,λ) for regular κ>\aleph_1 and λ\leqκwhich are formulated in terms of coloring the ordinals <κby reals.
△ Less
Submitted 14 April, 2007;
originally announced April 2007.
-
How to drive our families mad
Authors:
Sakaé Fuchino,
Stefan Geschke,
Osvaldo Guzman,
Lajos Soukup
Abstract:
Given a family $F$ of pairwise almost disjoint sets on a countable set $S$, we study maximal almost disjoint (mad) families $F^+$ extending $F$.
We define $a^+(F)$ to be the minimal possible cardinality of $F^+\setminus F$ for such $F^+$, and $a^+(κ)=\sup\{a^+(F): |F| \leq κ\}$. We show that all infinite cardinal less than or equal to the continuum continuum can be represented as $a^+(F)$ for so…
▽ More
Given a family $F$ of pairwise almost disjoint sets on a countable set $S$, we study maximal almost disjoint (mad) families $F^+$ extending $F$.
We define $a^+(F)$ to be the minimal possible cardinality of $F^+\setminus F$ for such $F^+$, and $a^+(κ)=\sup\{a^+(F): |F| \leq κ\}$. We show that all infinite cardinal less than or equal to the continuum continuum can be represented as $a^+(F)$ for some almost disjoint $F$ and that the inequalities $\aleph_1=a<a^+(\aleph_1)=c$ and $a=a^+(\aleph_1)<c$ are both consistent.
We also give a several constructions of mad families with some additional properties.
△ Less
Submitted 7 March, 2017; v1 submitted 24 November, 2006;
originally announced November 2006.
-
Models of real-valued measurability
Authors:
Sakaé Fuchino,
Noam Greenberg,
Saharon Shelah
Abstract:
Solovay's random-real forcing (1971) is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, we show that there are combinatorial, measure-theoretic properties of Solovay's model that do not follow from the existence of real-valued measurability.
Solovay's random-real forcing (1971) is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, we show that there are combinatorial, measure-theoretic properties of Solovay's model that do not follow from the existence of real-valued measurability.
△ Less
Submitted 4 April, 2006; v1 submitted 5 January, 2006;
originally announced January 2006.
-
Remarks on a paper by Juhász and Kunen
Authors:
Sakae Fuchino,
Stefan Geschke
Abstract:
We give an equivalent, but simpler formulation of the axiom SEP introduced by Juhasz and Kunen. Our formulation shows that many of the consequences of the weak Freese-Nation Property of $\mathcal P(ω)$ already follow from SEP. We show that it is consistent that SEP holds while $\mathcal P(ω)$ fails to have the $(\aleph_1,\aleph_0)$-ideal property, which has been introduced by Hart and Dow . This…
▽ More
We give an equivalent, but simpler formulation of the axiom SEP introduced by Juhasz and Kunen. Our formulation shows that many of the consequences of the weak Freese-Nation Property of $\mathcal P(ω)$ already follow from SEP. We show that it is consistent that SEP holds while $\mathcal P(ω)$ fails to have the $(\aleph_1,\aleph_0)$-ideal property, which has been introduced by Hart and Dow . This answers a question addressed independently by Fuchino and by Kunen.
We also consider some natural variants of SEP and show that certain changes in the definition of SEP do not lead to a different principle. This answers a question addressed by Blass.
△ Less
Submitted 18 September, 2003;
originally announced September 2003.
-
On the weak Freese-Nation property of complete Boolean algebras
Authors:
Sakaé Fuchino,
Stefan Geschke,
Saharon Shelah,
Lajos Soukup
Abstract:
The following results are proved:
(a) In a model obtained by adding aleph_2 Cohen reals, there is always a c.c.c. complete Boolean algebra without the weak Freese-Nation property.
(b) Modulo the consistency strength of a supercompact cardinal, the existence of a c.c.c. complete Boolean algebras without the weak Freese-Nation property consistent with GCH.
(c) Under some consequences of the…
▽ More
The following results are proved:
(a) In a model obtained by adding aleph_2 Cohen reals, there is always a c.c.c. complete Boolean algebra without the weak Freese-Nation property.
(b) Modulo the consistency strength of a supercompact cardinal, the existence of a c.c.c. complete Boolean algebras without the weak Freese-Nation property consistent with GCH.
(c) Under some consequences of the negation of 0^#, the weak Freese-Nation property of (P(omega),subseteq) is equivalent to the weak Freese-Nation property of any of C(kappa) or R(kappa) for uncountable kappa.
(d) Modulo consistency of (aleph_{omega+1},aleph_omega)-->(aleph_1,aleph_0), it is consistent with GCH that the assertion in (c) does not hold and also that adding aleph_omega Cohen reals destroys the weak Freese-Nation property of (P(omega),subseteq)
△ Less
Submitted 28 November, 1999;
originally announced November 1999.
-
On absolutely divergent series
Authors:
Sakae Fuchino,
Heike Mildenberger,
Saharon Shelah,
Peter Vojtas
Abstract:
We show that in the aleph_2-stage countable support iteration of Mathias forcing over a model of CH the complete Boolean algebra generated by absolutely divergent series under eventual dominance is not isomorphic to the completion of P(omega)/fin. This complements Vojtas' result, that under cf(c)=p the two algebras are isomorphic
We show that in the aleph_2-stage countable support iteration of Mathias forcing over a model of CH the complete Boolean algebra generated by absolutely divergent series under eventual dominance is not isomorphic to the completion of P(omega)/fin. This complements Vojtas' result, that under cf(c)=p the two algebras are isomorphic
△ Less
Submitted 18 March, 1999;
originally announced March 1999.
-
Sticks and clubs
Authors:
Sakaé Fuchino,
Saharon Shelah,
Lajos Soukup
Abstract:
We study combinatorial principles known as stick and club. Several variants of these principles and cardinal invariants connected to them are also considered. We introduce a new kind of side-by-side product of partial orders which we call pseudo-product. Using such products, we give several generic extensions where some of these principles hold together with not CH and Martin's Axiom for countab…
▽ More
We study combinatorial principles known as stick and club. Several variants of these principles and cardinal invariants connected to them are also considered. We introduce a new kind of side-by-side product of partial orders which we call pseudo-product. Using such products, we give several generic extensions where some of these principles hold together with not CH and Martin's Axiom for countable p.o.-sets. An iterative version of the pseudo-product is used under an inaccessible cardinal to show the consistency of the club principle for every stationary subset of limits of omega_1 together with not CH and Martin's Axiom for countable p.o.-sets.
△ Less
Submitted 14 April, 1998;
originally announced April 1998.
-
Coloring ordinals by reals
Authors:
Sakae Fuchino
Abstract:
We introduce several new set-theoretic axioms formulated in terms of coloring of ordinals by reals. We show that these axioms generalize the axioms considered by I.Juhasz, L.Soukup and Z.Szentmiklossy, and give a class of p.o.s including Cohen p.o.-sets which force the axioms. In appearance these axioms are somewhat similar to OCA but it appears that they are inconsistent with OCA.
We introduce several new set-theoretic axioms formulated in terms of coloring of ordinals by reals. We show that these axioms generalize the axioms considered by I.Juhasz, L.Soukup and Z.Szentmiklossy, and give a class of p.o.s including Cohen p.o.-sets which force the axioms. In appearance these axioms are somewhat similar to OCA but it appears that they are inconsistent with OCA.
△ Less
Submitted 25 February, 1997;
originally announced February 1997.
-
More Set-theory around the weak Freese-Nation property
Authors:
Sakae Fuchino,
Lajos Soukup
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 Card…
▽ More
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 2^{\aleph_0}<\aleph_ωand our very weak square for \aleph_ω, the partial ordering [omega_ω]^{<ω} (ordered by inclusion) has the aleph_1-Freese-Nation property.
On the other hand we show that, under Chang's Conjecture for \aleph_ωthe partial ordering above does not have the aleph_1-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.
△ Less
Submitted 2 May, 1996;
originally announced May 1996.
-
Partial orderings with the weak Freese-Nation property
Authors:
Sakaé Fuchino,
Sabine Koppelberg,
Saharon Shelah
Abstract:
A partial ordering P is said to have the weak Freese-Nation property (WFN) if there is a mapping f:P ---> [P]^{<= aleph_0} such that, for any a, b in P, if a <= b then there exists c in f(a) cap f(b) such that a <= c <= b. In this note, we study the WFN and some of its generalizations. Some features of the class of BAs with the WFN seem to be quite sensitive to additional axioms of set theory: e…
▽ More
A partial ordering P is said to have the weak Freese-Nation property (WFN) if there is a mapping f:P ---> [P]^{<= aleph_0} such that, for any a, b in P, if a <= b then there exists c in f(a) cap f(b) such that a <= c <= b. In this note, we study the WFN and some of its generalizations. Some features of the class of BAs with the WFN seem to be quite sensitive to additional axioms of set theory: e.g., under CH, every ccc cBA has this property while, under b >= aleph_2, there exists no cBA with the WFN.
△ Less
Submitted 14 August, 1995;
originally announced August 1995.
-
A game on partial orderings
Authors:
Sakaé Fuchino,
Sabine Koppelberg,
Saharon Shelah
Abstract:
We study the determinacy of the game G_kappa (A) introduced in [FKSh:549] for uncountable regular kappa and several classes of partial orderings A. Among trees or Boolean algebras, we can always find an A such that G_kappa (A) is undetermined. For the class of linear orders, the existence of such A depends on the size of kappa^{< kappa}. In particular we obtain a characterization of kappa^{< kap…
▽ More
We study the determinacy of the game G_kappa (A) introduced in [FKSh:549] for uncountable regular kappa and several classes of partial orderings A. Among trees or Boolean algebras, we can always find an A such that G_kappa (A) is undetermined. For the class of linear orders, the existence of such A depends on the size of kappa^{< kappa}. In particular we obtain a characterization of kappa^{< kappa}= kappa in terms of determinacy of the game G_kappa (L) for linear orders L .
△ Less
Submitted 14 May, 1995;
originally announced May 1995.
-
On a theorem of Shapiro
Authors:
Sakaé Fuchino,
Saharon Shelah,
Lajos Soukup
Abstract:
We show that a theorem of Leonid B. Shapiro which was proved under MA, is actually independent from ZFC. We also give a direct proof of the Boolean algebra version of the theorem under MA(Cohen).
We show that a theorem of Leonid B. Shapiro which was proved under MA, is actually independent from ZFC. We also give a direct proof of the Boolean algebra version of the theorem under MA(Cohen).
△ Less
Submitted 14 May, 1994;
originally announced May 1994.
