:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Müller, Sandra, Sargsyan, Grigor
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2304.07623
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The exact strength of generic absoluteness for the universally Baire sets
by: Sargsyan, Grigor, et al.
Published: (2021)

Chang models over derived models with supercompact measures
by: Gappo, Takehiko, et al.
Published: (2023)

Gödel's Program in Set Theory
by: Müller, Sandra, et al.
Published: (2024)

Generic Generators
by: Sargsyan, Grigor
Published: (2023)

Hjorth's reflection argument
by: Sargsyan, Grigor
Published: (2021)

AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
by: Blue, Douglas, et al.
Published: (2024)

The Largest Suslin Axiom
by: Sargsyan, Grigor, et al.
Published: (2021)

Ultrapowers of determinacy models as iteration trees on HOD
by: Goldberg, Gabriel, et al.
Published: (2026)

Forcing More DC Over the Chang Model Using the Thorn Sequence
by: Holland, James, et al.
Published: (2022)

A model of the Axiom of Determinacy in which every set of reals is universally Baire
by: Larson, Paul B., et al.
Published: (2025)

The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
by: Blue, Douglas, et al.
Published: (2026)

Nairian Models
by: Blue, Douglas, et al.
Published: (2025)

Partial Tower Sealing
by: Sargsyan, Grigor, et al.
Published: (2025)

Varsovian models II
by: Sargsyan, Grigor, et al.
Published: (2021)

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
by: Aksornthong, Navin, et al.
Published: (2023)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
by: Levinson, Derek, et al.
Published: (2022)

Partition genericity and pigeonhole basis theorems
by: Monin, Benoit, et al.
Published: (2022)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
by: Cimatti, Alessandro, et al.
Published: (2024)

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
by: Müller, Sandra
Published: (2024)

There is a deep 1-generic set
by: Li, Ang
Published: (2024)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

On f-generic types in NIP groups
by: Stonestrom, Atticus
Published: (2023)

On groups definable in geometric fields with generic derivations
by: Pillay, Anand, et al.
Published: (2025)

Degrees of the finite model property: the antidichotomy theorem
by: Bezhanishvili, Guram, et al.
Published: (2023)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

The $λ$-PSP at $λ$-coanalytic sets
by: Barrera, Fernando, et al.
Published: (2025)

Outward compactness
by: Holy, Peter, et al.
Published: (2024)

Perfect set dichotomy theorem in generalized Solovay model
by: Sakai, Hiroshi, et al.
Published: (2025)

Satisfaction is not absolute
by: Hamkins, Joel David, et al.
Published: (2013)

Asymptotic dimension and hyperfiniteness of generic Cantor actions
by: Iyer, Sumun, et al.
Published: (2024)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
by: Ken, Eitetsu, et al.
Published: (2024)

Transcendence degrees over mutually generic extensions
by: Schilhan, Jonathan
Published: (2025)

Measurable Vizing's theorem
by: Grebík, Jan
Published: (2023)

Semantics out of context: nominal absolute denotations for first-order logic and computation
by: Gabbay, Murdoch J.
Published: (2013)

Forcing, genericity and CBERS
by: Calderoni, Filippo, et al.
Published: (2025)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
by: Ikari, Hiroyuki, et al.
Published: (2026)