The implicit commitment of arithmetical theories and its semantic core

DOI10.1007/s10670-018-9987-6zbMath1474.03033OpenAlexW2793773902MaRDI QIDQ2051133

Carlo Nicolai, Mario Piazza

Publication date: 24 November 2021

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10670-018-9987-6

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Related Items

Reflecting and unfolding

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on typed truth and consistency assertions
• Deflationary truth and the ontology of expressions
• Proof theory. The first step into impredicativity
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Interpretability in Robinson's Q
• Arithmetical Reflection and the Provability of Soundness
• CONSISTENCY AND THE THEORY OF TRUTH
• Arithmetization of metamathematics in a general setting
• What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ?
• Reflection principles and provability algebras in formal arithmetic
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• Cuts, consistency statements and interpretations
• Construction of Satisfaction Classes for Nonstandard Models
• Reflecting on incompleteness
• Outline of a Theory of Truth
• Iterated reflection over full disquotational truth
• A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$
• Systems of predicative analysis
• NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Transfinite recursive progressions of axiomatic theories
• Models of axiomatic systems
• MINIMAL TRUTH AND INTERPRETABILITY
• The consistency of arithmetics