Image de couverture de livre

Generic Generators

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Sargsyan, Grigor
Format:	Preprint
Publié:	2023
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Towards a generic absoluteness theorem for Chang models
par: Müller, Sandra, et autres
Publié: (2023)

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

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

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

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

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

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

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

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

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

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

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)

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)

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

Generalized Decidability via Brouwer Trees
par: de Jong, Tom, et autres
Publié: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
par: Hartonas, Chrysafis
Publié: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

Dimension of Generic Reals
par: Miao, Yiping
Publié: (2026)

Generalized Effective Reducibility
par: Carl, Merlin
Publié: (2016)

Internal Categoricity and the Generic Multiverse
par: Meadows, Toby
Publié: (2025)

Generic Stability and Modes of Convergence
par: Khanaki, Karim
Publié: (2022)

Isomorphism Classes of Generating Sets
par: Benhamou, Tom, et autres
Publié: (2025)

Generalizations of quantum-Wajsberg algebras
par: Ciungu, Lavinia Corina
Publié: (2024)

Generically Computable Linear Orderings
par: Calvert, Wesley, et autres
Publié: (2024)

Generalized Epstein semantics for Parry systems
par: Zamperlin, Nicolò
Publié: (2024)

Generalized quantifiers using team semantics
par: Engström, Fredrik
Publié: (2024)

Model Comparison Games for Generalized Quantifiers
par: Kuusisto, Antti, et autres
Publié: (2026)

On a Generalization of Heyting Algebras I
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2024)

On a Generalization of Heyting Algebras II
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2024)

Measures that violate the Generalized Continuum Hypothesis
par: Benhamou, Tom, et autres
Publié: (2025)

Generation and decidability for periodic l-pregroups
par: Galatos, Nikolaos, et autres
Publié: (2024)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

Generic derivations, differential largeness, and NTP$_2$
par: Kaplan, Elliot, et autres
Publié: (2025)

Generating Theorems by Generating Proof Structures
par: Wernhard, Christoph
Publié: (2026)

Isomorphic Subtypes in a Finite Generalized Ordered Type
par: Joseph, Jean S.
Publié: (2025)

Generalized Tukey reducibility between $σ$-directed sets
par: Sakai, Hiroshi, et autres
Publié: (2025)