Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
di: Cheng, Yong
Pubblicazione: (2018)
di: Cheng, Yong
Pubblicazione: (2018)
Plenitudinous Urelements and the Definability of Cardinality
di: Yao, Bokai
Pubblicazione: (2025)
di: Yao, Bokai
Pubblicazione: (2025)
Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
di: Fuchino, Sakaé
Pubblicazione: (2025)
di: Fuchino, Sakaé
Pubblicazione: (2025)
Full normalization for $κ^+$-supercompactness
di: Schlutzenberg, Farmer
Pubblicazione: (2025)
di: Schlutzenberg, Farmer
Pubblicazione: (2025)
Large cardinals, structural reflection, and the HOD Conjecture
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)
Reflection and Recurrence
di: Fuchino, Sakaé
Pubblicazione: (2024)
di: Fuchino, Sakaé
Pubblicazione: (2024)
The initial segment condition for $κ^+$-supercompactness
di: Schlutzenberg, Farmer
Pubblicazione: (2023)
di: Schlutzenberg, Farmer
Pubblicazione: (2023)
Force a set model of $Z_3$ + Harrington's Principle
di: Cheng, Yong
Pubblicazione: (2014)
di: Cheng, Yong
Pubblicazione: (2014)
Increasing the second uniform indiscernible by strongly ssp forcing
di: De Bondt, Ben, et al.
Pubblicazione: (2022)
di: De Bondt, Ben, et al.
Pubblicazione: (2022)
Librationism & its classical and extraclassical set theories
di: Bjørdal, Frode A.
Pubblicazione: (2022)
di: Bjørdal, Frode A.
Pubblicazione: (2022)
Generically extendible cardinals
di: Usuba, Toshimichi
Pubblicazione: (2022)
di: Usuba, Toshimichi
Pubblicazione: (2022)
Mice with Woodin cardinals from a Reinhardt
di: Schlutzenberg, Farmer
Pubblicazione: (2024)
di: Schlutzenberg, Farmer
Pubblicazione: (2024)
On Indestructible Strongly Guessing Models
di: Mohammadpour, Rahman, et al.
Pubblicazione: (2023)
di: Mohammadpour, Rahman, et al.
Pubblicazione: (2023)
Axiomatization and Forcing in Set Theory with Urelements
di: Yao, Bokai
Pubblicazione: (2022)
di: Yao, Bokai
Pubblicazione: (2022)
Ketonen's question and other cardinal sins
di: Rinot, Assaf, et al.
Pubblicazione: (2024)
di: Rinot, Assaf, et al.
Pubblicazione: (2024)
On a cofinal Reinhardt embedding without Powerset
di: Jeon, Hanul
Pubblicazione: (2024)
di: Jeon, Hanul
Pubblicazione: (2024)
Abstraction Principles and the Size of Reality
di: Yao, Bokai
Pubblicazione: (2025)
di: Yao, Bokai
Pubblicazione: (2025)
Low level definability above large cardinals
di: Schlutzenberg, Farmer
Pubblicazione: (2024)
di: Schlutzenberg, Farmer
Pubblicazione: (2024)
Generalized cardinal invariants for an inaccessible $κ$ with compactness at $κ^{++}$
di: Honzik, Radek, et al.
Pubblicazione: (2023)
di: Honzik, Radek, et al.
Pubblicazione: (2023)
Generic Absoluteness Revisited
di: Fuchino, Sakaé, et al.
Pubblicazione: (2024)
di: Fuchino, Sakaé, et al.
Pubblicazione: (2024)
On Recurrence Axioms
di: Fuchino, Sakaé, et al.
Pubblicazione: (2024)
di: Fuchino, Sakaé, et al.
Pubblicazione: (2024)
Satisfaction is not absolute
di: Hamkins, Joel David, et al.
Pubblicazione: (2013)
di: Hamkins, Joel David, et al.
Pubblicazione: (2013)
Two-cardinal ideal operators and indescribability
di: Cody, Brent, et al.
Pubblicazione: (2022)
di: Cody, Brent, et al.
Pubblicazione: (2022)
Power $Σ_1$ in Card with two Woodin cardinals
di: Schlutzenberg, Farmer
Pubblicazione: (2025)
di: Schlutzenberg, Farmer
Pubblicazione: (2025)
Small measurable cardinals
di: Hayut, Yair, et al.
Pubblicazione: (2022)
di: Hayut, Yair, et al.
Pubblicazione: (2022)
Compactness for small cardinals in mathematics: principles, consequences, and limitations
di: Honzik, Radek
Pubblicazione: (2025)
di: Honzik, Radek
Pubblicazione: (2025)
$Σ_n$-correct Forcing Axioms
di: Goodman, Ben
Pubblicazione: (2024)
di: Goodman, Ben
Pubblicazione: (2024)
The first measurable can be the first inaccessible cardinal
di: Gitik, Moti, et al.
Pubblicazione: (2024)
di: Gitik, Moti, et al.
Pubblicazione: (2024)
Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
di: Lücke, Philipp
Pubblicazione: (2024)
di: Lücke, Philipp
Pubblicazione: (2024)
Broad Infinity and Generation Principles
di: Levy, Paul Blain
Pubblicazione: (2021)
di: Levy, Paul Blain
Pubblicazione: (2021)
Hindman's Theorem in the hierarchy of Choice Principles
di: Fernández-Bretón, David J.
Pubblicazione: (2022)
di: Fernández-Bretón, David J.
Pubblicazione: (2022)
Proper classes of maximal $θ$-independent families from large cardinals
di: Ryan-Smith, Calliope
Pubblicazione: (2024)
di: Ryan-Smith, Calliope
Pubblicazione: (2024)
The consistency strength of determinacy when all sets are universally Baire
di: Müller, Sandra
Pubblicazione: (2021)
di: Müller, Sandra
Pubblicazione: (2021)
Large cardinals beyond HOD
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2025)
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2025)
A virtual five element basis for the uncountable linear orders
di: Krueger, John, et al.
Pubblicazione: (2025)
di: Krueger, John, et al.
Pubblicazione: (2025)
Proxy principles in combinatorial set theory
di: Brodsky, Ari Meir, et al.
Pubblicazione: (2024)
di: Brodsky, Ari Meir, et al.
Pubblicazione: (2024)
Very large set axioms over constructive set theories
di: Jeon, Hanul, et al.
Pubblicazione: (2022)
di: Jeon, Hanul, et al.
Pubblicazione: (2022)
Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
di: Watson, Connor
Pubblicazione: (2024)
di: Watson, Connor
Pubblicazione: (2024)
Comment to "Almost disjoint sets, the dense set problem and the partition calculus"
di: Pereira, Júnio Luan
Pubblicazione: (2026)
di: Pereira, Júnio Luan
Pubblicazione: (2026)
A note on uniform ultrafilters in a choiceless context
di: Usuba, Toshimichi
Pubblicazione: (2024)
di: Usuba, Toshimichi
Pubblicazione: (2024)