Gespeichert in:
| Hauptverfasser: | Müller, Sandra, Sargsyan, Grigor |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2304.07623 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
The exact strength of generic absoluteness for the universally Baire sets
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2021)
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2021)
Chang models over derived models with supercompact measures
von: Gappo, Takehiko, et al.
Veröffentlicht: (2023)
von: Gappo, Takehiko, et al.
Veröffentlicht: (2023)
Gödel's Program in Set Theory
von: Müller, Sandra, et al.
Veröffentlicht: (2024)
von: Müller, Sandra, et al.
Veröffentlicht: (2024)
Generic Generators
von: Sargsyan, Grigor
Veröffentlicht: (2023)
von: Sargsyan, Grigor
Veröffentlicht: (2023)
Hjorth's reflection argument
von: Sargsyan, Grigor
Veröffentlicht: (2021)
von: Sargsyan, Grigor
Veröffentlicht: (2021)
AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
von: Blue, Douglas, et al.
Veröffentlicht: (2024)
von: Blue, Douglas, et al.
Veröffentlicht: (2024)
The Largest Suslin Axiom
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2021)
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2021)
Ultrapowers of determinacy models as iteration trees on HOD
von: Goldberg, Gabriel, et al.
Veröffentlicht: (2026)
von: Goldberg, Gabriel, et al.
Veröffentlicht: (2026)
Forcing More DC Over the Chang Model Using the Thorn Sequence
von: Holland, James, et al.
Veröffentlicht: (2022)
von: Holland, James, et al.
Veröffentlicht: (2022)
A model of the Axiom of Determinacy in which every set of reals is universally Baire
von: Larson, Paul B., et al.
Veröffentlicht: (2025)
von: Larson, Paul B., et al.
Veröffentlicht: (2025)
The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
von: Blue, Douglas, et al.
Veröffentlicht: (2026)
von: Blue, Douglas, et al.
Veröffentlicht: (2026)
Nairian Models
von: Blue, Douglas, et al.
Veröffentlicht: (2025)
von: Blue, Douglas, et al.
Veröffentlicht: (2025)
Partial Tower Sealing
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2025)
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2025)
Varsovian models II
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2021)
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2021)
On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
von: Aksornthong, Navin, et al.
Veröffentlicht: (2023)
von: Aksornthong, Navin, et al.
Veröffentlicht: (2023)
Building Models of Determinacy from Below
von: Kasum, Obrad, et al.
Veröffentlicht: (2024)
von: Kasum, Obrad, et al.
Veröffentlicht: (2024)
Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
von: Levinson, Derek, et al.
Veröffentlicht: (2022)
von: Levinson, Derek, et al.
Veröffentlicht: (2022)
Partition genericity and pigeonhole basis theorems
von: Monin, Benoit, et al.
Veröffentlicht: (2022)
von: Monin, Benoit, et al.
Veröffentlicht: (2022)
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2024)
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2024)
Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
von: Müller, Sandra
Veröffentlicht: (2024)
von: Müller, Sandra
Veröffentlicht: (2024)
There is a deep 1-generic set
von: Li, Ang
Veröffentlicht: (2024)
von: Li, Ang
Veröffentlicht: (2024)
Towards solid abelian groups: A formal proof of Nöbeling's theorem
von: Asgeirsson, Dagur
Veröffentlicht: (2023)
von: Asgeirsson, Dagur
Veröffentlicht: (2023)
On f-generic types in NIP groups
von: Stonestrom, Atticus
Veröffentlicht: (2023)
von: Stonestrom, Atticus
Veröffentlicht: (2023)
On groups definable in geometric fields with generic derivations
von: Pillay, Anand, et al.
Veröffentlicht: (2025)
von: Pillay, Anand, et al.
Veröffentlicht: (2025)
Degrees of the finite model property: the antidichotomy theorem
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)
Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)
von: Savelyev, Yasha
Veröffentlicht: (2024)
A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)
The $λ$-PSP at $λ$-coanalytic sets
von: Barrera, Fernando, et al.
Veröffentlicht: (2025)
von: Barrera, Fernando, et al.
Veröffentlicht: (2025)
Outward compactness
von: Holy, Peter, et al.
Veröffentlicht: (2024)
von: Holy, Peter, et al.
Veröffentlicht: (2024)
Perfect set dichotomy theorem in generalized Solovay model
von: Sakai, Hiroshi, et al.
Veröffentlicht: (2025)
von: Sakai, Hiroshi, et al.
Veröffentlicht: (2025)
Satisfaction is not absolute
von: Hamkins, Joel David, et al.
Veröffentlicht: (2013)
von: Hamkins, Joel David, et al.
Veröffentlicht: (2013)
Asymptotic dimension and hyperfiniteness of generic Cantor actions
von: Iyer, Sumun, et al.
Veröffentlicht: (2024)
von: Iyer, Sumun, et al.
Veröffentlicht: (2024)
An abstract fixed-point theorem for Horn formula equations
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)
The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2024)
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2024)
Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
von: Ken, Eitetsu, et al.
Veröffentlicht: (2024)
von: Ken, Eitetsu, et al.
Veröffentlicht: (2024)
Transcendence degrees over mutually generic extensions
von: Schilhan, Jonathan
Veröffentlicht: (2025)
von: Schilhan, Jonathan
Veröffentlicht: (2025)
Measurable Vizing's theorem
von: Grebík, Jan
Veröffentlicht: (2023)
von: Grebík, Jan
Veröffentlicht: (2023)
Semantics out of context: nominal absolute denotations for first-order logic and computation
von: Gabbay, Murdoch J.
Veröffentlicht: (2013)
von: Gabbay, Murdoch J.
Veröffentlicht: (2013)
Forcing, genericity and CBERS
von: Calderoni, Filippo, et al.
Veröffentlicht: (2025)
von: Calderoni, Filippo, et al.
Veröffentlicht: (2025)
Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
von: Ikari, Hiroyuki, et al.
Veröffentlicht: (2026)
von: Ikari, Hiroyuki, et al.
Veröffentlicht: (2026)
Ähnliche Einträge
-
The exact strength of generic absoluteness for the universally Baire sets
von: Sargsyan, Grigor, et al.
Veröffentlicht: (2021) -
Chang models over derived models with supercompact measures
von: Gappo, Takehiko, et al.
Veröffentlicht: (2023) -
Gödel's Program in Set Theory
von: Müller, Sandra, et al.
Veröffentlicht: (2024) -
Generic Generators
von: Sargsyan, Grigor
Veröffentlicht: (2023) -
Hjorth's reflection argument
von: Sargsyan, Grigor
Veröffentlicht: (2021)