Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | Massmann, Jayde Sylvie |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Clarifying ordinals
par: Schweber, Noah
Publié: (2024)
par: Schweber, Noah
Publié: (2024)
Antichain of ordinals in intuitionistic set theory
par: Wang, Shuwei
Publié: (2025)
par: Wang, Shuwei
Publié: (2025)
Some notes on plump ordinals
par: Wang, Shuwei
Publié: (2026)
par: Wang, Shuwei
Publié: (2026)
Analysis of HOD for Admissible Structures
par: Kruschewski, Jan, et autres
Publié: (2025)
par: Kruschewski, Jan, et autres
Publié: (2025)
An equiconsistency proof for $\mathrm{CZF} + V = L$
par: Wang, Shuwei
Publié: (2026)
par: Wang, Shuwei
Publié: (2026)
Hindman and Owings-like theorems without the Axiom of Choice
par: Guzmán-Vega, José A., et autres
Publié: (2026)
par: Guzmán-Vega, José A., et autres
Publié: (2026)
On a Conjecture Regarding the Mouse Order for Weasels
par: Kruschewski, Jan, et autres
Publié: (2022)
par: Kruschewski, Jan, et autres
Publié: (2022)
The adjacent Hindman's theorem for uncountable groups
par: Carlucci, Lorenzo, et autres
Publié: (2020)
par: Carlucci, Lorenzo, et autres
Publié: (2020)
Disjoint Stationary Sequences on an Interval of Cardinals
par: Jakob, Hannes
Publié: (2023)
par: Jakob, Hannes
Publié: (2023)
Proper classes of maximal $θ$-independent families from large cardinals
par: Ryan-Smith, Calliope
Publié: (2024)
par: Ryan-Smith, Calliope
Publié: (2024)
The $κ$-Strongly Proper Forcing Axiom
par: Asperó, David, et autres
Publié: (2019)
par: Asperó, David, et autres
Publié: (2019)
Critical embeddings
par: Karagila, Asaf, et autres
Publié: (2024)
par: Karagila, Asaf, et autres
Publié: (2024)
A Topological Rainbow Ramsey Theorem
par: Jakob, Hannes, et autres
Publié: (2026)
par: Jakob, Hannes, et autres
Publié: (2026)
A new model for all $C$-sequences are trivial
par: Rinot, Assaf, et autres
Publié: (2025)
par: Rinot, Assaf, et autres
Publié: (2025)
Iterated club shooting and the stationary-logic constructible model
par: Ya'ar, Ur
Publié: (2022)
par: Ya'ar, Ur
Publié: (2022)
Comment to "Almost disjoint sets, the dense set problem and the partition calculus"
par: Pereira, Júnio Luan
Publié: (2026)
par: Pereira, Júnio Luan
Publié: (2026)
Universally Baire sets in $2^κ$
par: Ikegami, Daisuke, et autres
Publié: (2024)
par: Ikegami, Daisuke, et autres
Publié: (2024)
Monoidal Symmetric Models
par: Basak, Dianthe
Publié: (2024)
par: Basak, Dianthe
Publié: (2024)
Small measurable cardinals
par: Hayut, Yair, et autres
Publié: (2022)
par: Hayut, Yair, et autres
Publié: (2022)
On compactness of weak square at singulars of uncountable cofinality
par: Levine, Maxwell
Publié: (2022)
par: Levine, Maxwell
Publié: (2022)
Axiom Beta Implies Elementary Transfinite Recursion
par: Frittaion, Emanuele, et autres
Publié: (2026)
par: Frittaion, Emanuele, et autres
Publié: (2026)
Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions
par: Lutz, Patrick, et autres
Publié: (2023)
par: Lutz, Patrick, et autres
Publié: (2023)
Very large set axioms over constructive set theories
par: Jeon, Hanul, et autres
Publié: (2022)
par: Jeon, Hanul, et autres
Publié: (2022)
Unthreadability with Small Conditions
par: Levine, Maxwell
Publié: (2022)
par: Levine, Maxwell
Publié: (2022)
Strong reducibilities and set theory
par: Schweber, Noah
Publié: (2024)
par: Schweber, Noah
Publié: (2024)
Cardinality in a paraconsistent and paracomplete set theory
par: Oddsson, Hrafn Valtýr
Publié: (2026)
par: Oddsson, Hrafn Valtýr
Publié: (2026)
Models for short sequences of measures in the cofinality-$ω$ constructible model
par: Ya'ar, Ur
Publié: (2021)
par: Ya'ar, Ur
Publié: (2021)
$Σ_n$-correct Forcing Axioms
par: Goodman, Ben
Publié: (2024)
par: Goodman, Ben
Publié: (2024)
Broad Infinity and Generation Principles
par: Levy, Paul Blain
Publié: (2021)
par: Levy, Paul Blain
Publié: (2021)
The first measurable can be the first inaccessible cardinal
par: Gitik, Moti, et autres
Publié: (2024)
par: Gitik, Moti, et autres
Publié: (2024)
Increasing the second uniform indiscernible by strongly ssp forcing
par: De Bondt, Ben, et autres
Publié: (2022)
par: De Bondt, Ben, et autres
Publié: (2022)
A Ramsey theorem for the reals
par: Inamdar, Tanmay
Publié: (2024)
par: Inamdar, Tanmay
Publié: (2024)
Building Models of Determinacy from Below
par: Kasum, Obrad, et autres
Publié: (2024)
par: Kasum, Obrad, et autres
Publié: (2024)
Derived Models in PFA
par: Levinson, Derek, et autres
Publié: (2025)
par: Levinson, Derek, et autres
Publié: (2025)
$Σ_1$ gaps as derived models and correctness of mice
par: Schlutzenberg, Farmer, et autres
Publié: (2023)
par: Schlutzenberg, Farmer, et autres
Publié: (2023)
Long games just beyond fixed countable length
par: Gappo, Takehiko, et autres
Publié: (2026)
par: Gappo, Takehiko, et autres
Publié: (2026)
Jonsson and Magidor filters
par: Ben-Neria, Omer, et autres
Publié: (2025)
par: Ben-Neria, Omer, et autres
Publié: (2025)
Magidor-like forcing and the cofinality of the Galvin number
par: Garti, Shimon
Publié: (2025)
par: Garti, Shimon
Publié: (2025)
A formula for any real number, maybe
par: Hanson, James E., et autres
Publié: (2026)
par: Hanson, James E., et autres
Publié: (2026)
On ordering of surjective cardinals
par: Shen, Guozhen, et autres
Publié: (2025)
par: Shen, Guozhen, et autres
Publié: (2025)
Documents similaires
-
Clarifying ordinals
par: Schweber, Noah
Publié: (2024) -
Antichain of ordinals in intuitionistic set theory
par: Wang, Shuwei
Publié: (2025) -
Some notes on plump ordinals
par: Wang, Shuwei
Publié: (2026) -
Analysis of HOD for Admissible Structures
par: Kruschewski, Jan, et autres
Publié: (2025) -
An equiconsistency proof for $\mathrm{CZF} + V = L$
par: Wang, Shuwei
Publié: (2026)