EQUIVALENCES FOR TRUTH PREDICATES

DOI10.1017/S1755020316000435zbMath1417.03293MaRDI QIDQ5274881

Carlo Nicolai

Publication date: 6 July 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

interpretabilityformal theories of trutharithmetical comprehensionsameness of theories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items

Some notes on truths and comprehension

Cites Work

• 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
• Proof theory. 2nd ed
• An axiomatic approach to self-referential truth
• The formalization of interpretability
• On interpretations of arithmetic and set theory
• Relative Truth Definability of Axiomatic Truth Theories
• CONSISTENCY AND THE THEORY OF TRUTH
• Arithmetization of metamathematics in a general setting
• More on Systems of Truth and Predicative Comprehension
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• Notes on Formal Theories of Truth
• Reflecting on incompleteness
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Outline of a Theory of Truth
• AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
• Systems of predicative analysis
• AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING
• REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
• MINIMAL TRUTH AND INTERPRETABILITY