Image de couverture de livre

Gödel's Program in Set Theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Müller, Sandra, Sargsyan, Grigor
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

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

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

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)

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

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)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
par: Ma, Zhifeng, et autres
Publié: (2024)

Tableaux for epistemic Gödel logic
par: Bílková, Marta, et autres
Publié: (2025)

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

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
par: Almeida, Rodrigo Nicolau
Publié: (2023)

On Fidel Vakarelov construction for Monadic Godel algebras
par: Alonso, Maria Valentina, et autres
Publié: (2024)

Some Epistemic Extensions of Gödel Fuzzy Logic
par: Dastgheib, D., et autres
Publié: (2016)

Axiomatizing logics of finite Gödel-Kripke models
par: Vidal, Amanda, et autres
Publié: (2026)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
par: Lyon, Tim S.
Publié: (2024)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
par: de Groot, Jim, et autres
Publié: (2021)

Simple tableaux for two expansions of Gödel modal logic
par: Bilkova, Marta, et autres
Publié: (2024)

Filter-induced entailment relations in paraconsistent Gödel logics
par: Frittella, Sabine, et autres
Publié: (2024)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
par: Herbelin, Hugo, et autres
Publié: (2024)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
par: Bilkova, Marta, et autres
Publié: (2023)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
par: Grobner, Harald
Publié: (2026)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics
par: Arroyo, Vicent Navarro
Publié: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

Reduction Complexities in Set Theory
par: Carl, Merlin
Publié: (2025)

Classical Set Theory: Theory of Sets and Classes
par: Banakh, Taras
Publié: (2020)

The Complexity of the Set of Validities of a Theory
par: Hirschfeldt, Denis R., et autres
Publié: (2025)