The implicit commitment of arithmetical theories and its semantic core

DOI10.1007/S10670-018-9987-6MaRDI QIDQ2051133zbMATH OpenOpenAlexFDO

Authors Carlo Nicolai, Mario Piazza

Publication date 24 November 2021

Published in Erkenntnis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• Arithmetical reflection and the provability of soundness
• The logical structure of linguistic commitment. II: Systems of relevant commitment entailment
• The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment
• Interpretation and truth in set theory
• Reflecting on incompleteness

Cites work

• A deflationary account of the truth of the Gödel sentence \(\mathcal{G}\)
• A mathematical introduction to logic.
• A note on typed truth and consistency assertions
• Arithmetical reflection and the provability of soundness
• Arithmetization of metamathematics in a general setting
• Axiomatic theories of truth
• Conservativity for theories of compositional truth via cut elimination
• Consistency and the theory of truth
• Construction of Satisfaction Classes for Nonstandard Models
• Cuts, consistency statements and interpretations
• Deflationary truth and the ontology of expressions
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• scientific article; zbMATH DE number 4021095 (Why is no real title available?)
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 1215494 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 3330710 (Why is no real title available?)
• Interpretability in Robinson's Q
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Iterated reflection over full disquotational truth
• Logical and semantic purity
• Minimal truth and interpretability
• Models of axiomatic systems
• Notes on bounded induction for the compositional truth predicate
• Outline of a Theory of Truth
• Proof theory. The first step into impredicativity
• Reflecting on incompleteness
• Reflection principles and provability algebras in formal arithmetic
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Systems of predicative analysis
• The consistency of arithmetics
• Transfinite recursive progressions of axiomatic theories
• What's so special about the Gödel sentence \(\mathcal{G}\)?

Cited in

(4)

• Reflecting and unfolding
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
• A theory of implicit commitment
• Isaacson's thesis on arithmetical truth

This page was built for publication: The implicit commitment of arithmetical theories and its semantic core

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2051133)