Imagen de Portada

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Herbelin, Hugo, Ilik, Danko
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
por: Herbelin, Hugo
Publicado: (2024)

The very dependent recursive structure of iterated parametricity in indexed form
por: Herbelin, Hugo, et al.
Publicado: (2026)

On the logical structure of choice and bar induction principles
por: Brede, Nuria, et al.
Publicado: (2021)

A parametricity-based formalization of semi-simplicial and semi-cubical sets
por: Herbelin, Hugo, et al.
Publicado: (2023)

On Fidel Vakarelov construction for Monadic Godel algebras
por: Alonso, Maria Valentina, et al.
Publicado: (2024)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
por: Takemura, Ryo
Publicado: (2025)

Rich doctrines and Henkin's Theorem
por: Guffanti, Francesca
Publicado: (2023)

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
por: Gaßner, Christine
Publicado: (2024)

Relationships between Principles of Choice in Second-Order Henkin Structures
por: Gaßner, Christine
Publicado: (2024)

AC and the Independence of WO in Second-Order Henkin Logic, Part II
por: Gaßner, Christine
Publicado: (2024)

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

Tableaux for epistemic Gödel logic
por: Bílková, Marta, et al.
Publicado: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
por: Livson, Ori, et al.
Publicado: (2025)

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

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

Between proof construction and SAT-solving
por: Schubert, Aleksy, et al.
Publicado: (2024)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
por: Ariola, Zena M., et al.
Publicado: (2026)

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

Some Epistemic Extensions of Gödel Fuzzy Logic
por: Dastgheib, D., et al.
Publicado: (2016)

Axiomatizing logics of finite Gödel-Kripke models
por: Vidal, Amanda, et al.
Publicado: (2026)

A concise proof of Commoner's theorem
por: Jancar, Petr
Publicado: (2024)

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

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
por: Ma, Zhifeng, et al.
Publicado: (2024)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
por: de Groot, Jim, et al.
Publicado: (2021)

Simple tableaux for two expansions of Gödel modal logic
por: Bilkova, Marta, et al.
Publicado: (2024)

Filter-induced entailment relations in paraconsistent Gödel logics
por: Frittella, Sabine, et al.
Publicado: (2024)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
por: Bilkova, Marta, et al.
Publicado: (2023)

Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
por: Cheng, Yong
Publicado: (2019)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
por: Castaño, Diego, et al.
Publicado: (2024)

AC and the Independence of WO in Second-Order Henkin Logic, Part I
por: Gaßner, Christine
Publicado: (2024)

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

A short nonstandard proof of the Doob-Meyer and Dol{é}ans-Dade theorems
por: Matsunaga, Takashi
Publicado: (2025)

A model theoretic proof for o-minimal coherence theorem
por: Fu, Yayi
Publicado: (2023)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
por: Das, Anupam, et al.
Publicado: (2024)

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

Coalgebraic proof translations for non-wellfounded proofs
por: Miranda, Borja Sierra, et al.
Publicado: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
por: Coniglio, M. E., et al.
Publicado: (2026)

Big Ramsey combinatorics of the Cantor set and a simple proof of Blass' perfect set theorem
por: Mašulović, Dragan
Publicado: (2026)

Extracting efficient exact real number computation from proofs in constructive type theory
por: Konečný, Michal, et al.
Publicado: (2022)

A proof-theoretic approach to abstract interpretation
por: D'Silva, Vijay, et al.
Publicado: (2026)