:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Müller, Sandra, Sargsyan, Grigor
Format:	Preprint
Publié:	2023
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2304.07623
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The exact strength of generic absoluteness for the universally Baire sets
par: Sargsyan, Grigor, et autres
Publié: (2021)

Chang models over derived models with supercompact measures
par: Gappo, Takehiko, et autres
Publié: (2023)

Gödel's Program in Set Theory
par: Müller, Sandra, et autres
Publié: (2024)

Generic Generators
par: Sargsyan, Grigor
Publié: (2023)

Hjorth's reflection argument
par: Sargsyan, Grigor
Publié: (2021)

AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
par: Blue, Douglas, et autres
Publié: (2024)

The Largest Suslin Axiom
par: Sargsyan, Grigor, et autres
Publié: (2021)

Ultrapowers of determinacy models as iteration trees on HOD
par: Goldberg, Gabriel, et autres
Publié: (2026)

Forcing More DC Over the Chang Model Using the Thorn Sequence
par: Holland, James, et autres
Publié: (2022)

A model of the Axiom of Determinacy in which every set of reals is universally Baire
par: Larson, Paul B., et autres
Publié: (2025)

The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
par: Blue, Douglas, et autres
Publié: (2026)

Nairian Models
par: Blue, Douglas, et autres
Publié: (2025)

Partial Tower Sealing
par: Sargsyan, Grigor, et autres
Publié: (2025)

Varsovian models II
par: Sargsyan, Grigor, et autres
Publié: (2021)

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
par: Aksornthong, Navin, et autres
Publié: (2023)

Building Models of Determinacy from Below
par: Kasum, Obrad, et autres
Publié: (2024)

Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
par: Levinson, Derek, et autres
Publié: (2022)

Partition genericity and pigeonhole basis theorems
par: Monin, Benoit, et autres
Publié: (2022)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
par: Cimatti, Alessandro, et autres
Publié: (2024)

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

There is a deep 1-generic set
par: Li, Ang
Publié: (2024)

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

On f-generic types in NIP groups
par: Stonestrom, Atticus
Publié: (2023)

On groups definable in geometric fields with generic derivations
par: Pillay, Anand, et autres
Publié: (2025)

Degrees of the finite model property: the antidichotomy theorem
par: Bezhanishvili, Guram, et autres
Publié: (2023)

Incompleteness theorems via Turing category
par: Savelyev, Yasha
Publié: (2024)

A Cobham theorem for scalar multiplication
par: Hieronymi, Philipp, et autres
Publié: (2024)

The $λ$-PSP at $λ$-coanalytic sets
par: Barrera, Fernando, et autres
Publié: (2025)

Outward compactness
par: Holy, Peter, et autres
Publié: (2024)

Perfect set dichotomy theorem in generalized Solovay model
par: Sakai, Hiroshi, et autres
Publié: (2025)

Satisfaction is not absolute
par: Hamkins, Joel David, et autres
Publié: (2013)

Asymptotic dimension and hyperfiniteness of generic Cantor actions
par: Iyer, Sumun, et autres
Publié: (2024)

An abstract fixed-point theorem for Horn formula equations
par: Hetzl, Stefan, et autres
Publié: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
par: Przybocki, Benjamin, et autres
Publié: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
par: Ken, Eitetsu, et autres
Publié: (2024)

Transcendence degrees over mutually generic extensions
par: Schilhan, Jonathan
Publié: (2025)

Measurable Vizing's theorem
par: Grebík, Jan
Publié: (2023)

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

Forcing, genericity and CBERS
par: Calderoni, Filippo, et autres
Publié: (2025)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
par: Ikari, Hiroyuki, et autres
Publié: (2026)