-
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 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 map**s
Authors:
Sakaé Fuchino
Abstract:
We consider several characterizations of $\mathbb R$-linear map**s. In particular, we give a characterization of linear map**s whose range is $\geq$ 2 dimensional, in terms of preservation of lines (and contraction of lines to a point) by the map**s. 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 map**s. In particular, we give a characterization of linear map**s whose range is $\geq$ 2 dimensional, in terms of preservation of lines (and contraction of lines to a point) by the map**s. This characterization and its affine version generalize the Fundamental Theorem of Affine Geometry. While the algebraic characterization of $\mathbb R$-linear map**s 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.
-
Anisotropic Charge Distribution Induced by Spin Polarization in La$_{0.6}$Sr$_{0.4}$MnO$_{3}$ Thin Films Studied by X-ray Magnetic Linear Dichroism
Authors:
Goro Shibata,
Kohei Yoshimatsu,
Keisuke Ishigami,
Takayuki Harano,
Yukio Takahashi,
Shoya Sakamoto,
Yosuke Nonaka,
Toshiharu Kadono,
Mitsuho Furuse,
Schuichiro Fuchino,
Makoto Okano,
Jun-ichi Fujihira,
Akira Uchida,
Kazunori Watanabe,
Hideyuki Fujihira,
Seiichi Fujihira,
Arata Tanaka,
Hiroshi Kumigashira,
Tsuneharu Koide,
Atsushi Fujimori
Abstract:
Magnetic anisotropy of epitaxially grown thin films is affected by the strain from the substrates due to a combined effect of distorted electronic structure and spin-orbit interaction (SOI). As an inverse process, one expects an anisotropy of the electronic structure induced by magnetization in the presence of SOI. We have studied the charge-density anisotropy induced by magnetization in thin film…
▽ More
Magnetic anisotropy of epitaxially grown thin films is affected by the strain from the substrates due to a combined effect of distorted electronic structure and spin-orbit interaction (SOI). As an inverse process, one expects an anisotropy of the electronic structure induced by magnetization in the presence of SOI. We have studied the charge-density anisotropy induced by magnetization in thin films of the ferromagnetic metal La$_{1-x}$Sr$_{x}$MnO$_3$ via x-ray magnetic linear dichroism (XMLD). XMLD measurements on thin films with various thicknesses have shown that the XMLD intensity is proportional to the square of the ferromagnetic moment. Using the XMLD sum rule and cluster-model calculation, it has been shown that more Mn 3$d$ electrons are distributed in orbitals elongated along the direction parallel to the spin polarization than in orbitals elongated in the direction perpendicular to it. The cluster-model calculation has shown that the effect of tensile strain from the SrTiO$_3$ substrate on the XMLD spectra is also consistent with the observed XMLD spectral line shapes.
△ Less
Submitted 22 October, 2018;
originally announced October 2018.
-
Anisotropic spin-density distribution and magnetic anisotropy of strained La$_{1-x}$Sr$_x$MnO$_3$ thin films: Angle-dependent x-ray magnetic circular dichroism
Authors:
G. Shibata,
M. Kitamura,
M. Minohara,
K. Yoshimatsu,
T. Kadono,
K. Ishigami,
T. Harano,
Y. Takahashi,
S. Sakamoto,
Y. Nonaka,
K. Ikeda,
Z. Chi,
M. Furuse,
S. Fuchino,
M. Okano,
J. -i. Fujihira,
A. Uchida,
K. Watanabe,
H. Fujihira,
S. Fujihira,
A. Tanaka,
H. Kumigashira,
T. Koide,
A. Fujimori
Abstract:
Magnetic anisotropies of ferromagnetic thin films are induced by epitaxial strain from the substrate via strain-induced anisotropy in the orbital magnetic moment and that in the spatial distribution of spin-polarized electrons. However, the preferential orbital occupation in ferromagnetic metallic La$_{1-x}$Sr$_x$MnO$_3$ (LSMO) thin films studied by x-ray linear dichroism (XLD) has always been fou…
▽ More
Magnetic anisotropies of ferromagnetic thin films are induced by epitaxial strain from the substrate via strain-induced anisotropy in the orbital magnetic moment and that in the spatial distribution of spin-polarized electrons. However, the preferential orbital occupation in ferromagnetic metallic La$_{1-x}$Sr$_x$MnO$_3$ (LSMO) thin films studied by x-ray linear dichroism (XLD) has always been found out-of-plane for both tensile and compressive epitaxial strain and hence irrespective of the magnetic anisotropy. In order to resolve this mystery, we directly probed the preferential orbital occupation of spin-polarized electrons in LSMO thin films under strain by angle-dependent x-ray magnetic circular dichroism (XMCD). Anisotropy of the spin-density distribution was found to be in-plane for the tensile strain and out-of-plane for the compressive strain, consistent with the observed magnetic anisotropy. The ubiquitous out-of-plane preferential orbital occupation seen by XLD is attributed to the occupation of both spin-up and spin-down out-of-plane orbitals in the surface magnetic dead layer.
△ Less
Submitted 31 January, 2018; v1 submitted 16 June, 2017;
originally announced June 2017.
-
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 map** 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 map** 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.