A note on Löwenheim-Skolem cardinals
In this note we provide some applications of Löwenheim-Skolem cardinals introduced in \cite{U}.
Source author record
Toshimichi Usuba
Toshimichi Usuba appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
4works
1topics
3close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
4 published item(s)
preprint2021arXiv
Geology of symmetric grounds
Let us say that a model of $\mathsf{ZF}$ is a symmetric ground if $V$ is a symmetric extension of the model. In this paper, we investigate set-theoretic geology of symmetric grounds. Under a certain assumption, we show that all symmetric grounds of $V$ are uniformly definable. We also show that if $\mathsf{AC}$ is forceable over $V$, then the symmetric grounds are downward directed.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Choiceless Löwenheim-Skolem property and uniform definability of grounds
In this paper, without the axiom of choice, we show that if a certain downward Löwenheim-Skolem property holds then all grounds are uniformly definable. We also prove that the axiom of choice is forceable if and only if the universe is a small extension of some transitive model of $\mathsf{ZFC}$.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Superstrong and other large cardinals are never Laver indestructible
Superstrong cardinals are never Laver indestructible. Similarly, almost huge cardinals, huge cardinals, superhuge cardinals, rank-into-rank cardinals, extendible cardinals, 1-extendible cardinals, 0-extendible cardinals, weakly superstrong cardinals, uplifting cardinals, pseudo-uplifting cardinals, superstrongly unfoldable cardinals, Σ_n-reflecting cardinals, Σ_n-correct cardinals and Σ_n-extendible cardinals (all for n>2) are never Laver indestructible. In fact, all these large cardinal properties are superdestructible: if κ exhibits any of them, with corresponding target θ, then in any forcing extension arising from nontrivial strategically <κ-closed forcing Q in V_θ, the cardinal κ will exhibit none of the large cardinal properties with target θ or larger.
0 citations0 reviewsNo code linkedOpen access