More on Systems of Truth and Predicative Comprehension

DOI10.1007/978-3-319-31644-4_14MaRDI QIDQ3295826zbMATH OpenOpenAlexFDO

Authors 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 truthpredicative comprehensionrelative interpretability

Mathematics Subject Classification ID

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

Recommendations

• Truth, logical structure, and compositionality
• Truth, partial logic and infinitary proof systems
• Truth predicates, truth bearers, and their variants
• Truth, predication and a family of contingent paradoxes
• On the system of the multiple all different predicates
• Some notes on truths and comprehension
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Remarks on compositionality and weak axiomatic theories of truth
• Interpreting the compositional truth predicate in models of arithmetic

Cites work

• A mathematical introduction to logic.
• A note on typed truth and consistency assertions
• Arithmetization of metamathematics in a general setting
• Axiomatic theories of truth
• Axiomatizability by a schema
• Conservative theories of classical truth
• Conservativity for theories of compositional truth via cut elimination
• Consistency and the theory of truth
• Deflationary truth and the ontology of expressions
• Elementary induction on abstract structures
• Full Satisfaction Classes and Recursive Saturation
• Handbook of proof theory
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Minimal truth and interpretability
• Notes on Formal Theories of Truth
• Proof theory. 2nd ed
• Proof theory. The first step into impredicativity
• Reducing compositional to disquotational truth
• Reflecting on incompleteness
• Relative Truth Definability of Axiomatic Truth Theories
• Systems of predicative analysis
• The formalization of interpretability

Cited in

(5)

• Truth and reduction
• A note on typed truth and consistency assertions
• Classes and truths in set theory
• scientific article; zbMATH DE number 6139879 (Why is no real title available?)
• Equivalences for truth predicates

This page was built for publication: More on Systems of Truth and Predicative Comprehension

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