The implicit commitment of arithmetical theories and its semantic core
From MaRDI portal
Publication:2051133
DOI10.1007/s10670-018-9987-6zbMath1474.03033OpenAlexW2793773902MaRDI QIDQ2051133
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
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)
Related Items
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