MINIMAL TRUTH AND INTERPRETABILITY

DOI10.1017/S1755020309990232zbMath1188.03003MaRDI QIDQ5850988

Martin J. Fischer

Publication date: 21 January 2010

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

zbMATH Keywords

Peano arithmeticinterpretabilitycompositional truthdisquotational truthminimal truth

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)

Related Items

CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION, CONSISTENCY AND THE THEORY OF TRUTH, MODELS OF POSITIVE TRUTH, More on Systems of Truth and Predicative Comprehension, Deflationary truth and the ontology of expressions, MODELS OF PT^– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE, The implicit commitment of arithmetical theories and its semantic core, THE EXPRESSIVE POWER OF TRUTH, EQUIVALENCES FOR TRUTH PREDICATES, A note on typed truth and consistency assertions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Faith \& falsity
• Conservative theories of classical truth
• Truth and reduction
• Notes on Formal Theories of Truth
• Construction of Satisfaction Classes for Nonstandard Models
• Full Satisfaction Classes and Recursive Saturation
• Reflecting on incompleteness
• Predicative Expansions of Axiomatic Theories