Core Gödel

DOI10.1215/00294527-2022-0033OpenAlexW4360612179MaRDI QIDQ6100981

Neil Tennant

Publication date: 31 May 2023

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2022-0033

zbMATH Keywords

consistencyrepresentabilityincompletenessrecursive functions\(\omega\)-consistencyex falso quodlibet1-consistencycore logicclassical core logicGödel phenomena

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Gödel numberings and issues of incompleteness (03F40) Proof theory and constructive mathematics (03F99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Undecidable theories
• CUT FOR CORE LOGIC
• THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS
• CUT FOR CLASSICAL CORE LOGIC
• Core Logic
• A remark concerning decidability of complete theories
• The role of the axiom of induction in elementary arithmetic

This page was built for publication: Core Gödel