More on Systems of Truth and Predicative Comprehension

DOI10.1007/978-3-319-31644-4_14zbMath1436.03305OpenAlexW2501280327MaRDI QIDQ3295826

Carlo Nicolai

Publication date: 13 July 2020

Published in: Boston Studies in the Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-31644-4_14

zbMATH Keywords

axiomatic theories of truthrelative interpretabilitypredicative comprehension

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Related Items

EQUIVALENCES FOR TRUTH PREDICATES

Cites Work

• 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
• Proof theory. 2nd ed
• The formalization of interpretability
• Elementary induction on abstract structures
• Handbook of proof theory
• Conservative theories of classical truth
• Relative Truth Definability of Axiomatic Truth Theories
• CONSISTENCY AND THE THEORY OF TRUTH
• Arithmetization of metamathematics in a general setting
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• Notes on Formal Theories of Truth
• Full Satisfaction Classes and Recursive Saturation
• Reflecting on incompleteness
• Systems of predicative analysis
• Axiomatizability by a schema
• REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
• MINIMAL TRUTH AND INTERPRETABILITY