Equivalences for truth predicates

DOI10.1017/S1755020316000435MaRDI QIDQ5274881zbMATH OpenFDO

Authors Carlo Nicolai

Publication date 6 July 2017

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

Full work available at URL https://doi.org/10.1017/S1755020316000435

zbMATH Keywords

arithmetical comprehensionformal theories of truthinterpretabilitysameness of theories

Mathematics Subject Classification ID

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

Recommendations

• Relative Truth Definability of Axiomatic Truth Theories
• Truth in applicative theories
• More on Systems of Truth and Predicative Comprehension
• Truth and reduction
• Reducing compositional to disquotational truth

Cites work

• -models of finite set theory
• A note on typed truth and consistency assertions
• An axiomatic approach to self-referential truth
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Arithmetization of metamathematics in a general setting
• Axiomatic theories of truth
• Axiomatic truth, syntax and metatheoretic reasoning
• Axiomatizing semantic theories of truth?
• Conservativity for theories of compositional truth via cut elimination
• Consistency and the theory of truth
• scientific article; zbMATH DE number 5959536 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 5066367 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Minimal truth and interpretability
• More on Systems of Truth and Predicative Comprehension
• Notes on Formal Theories of Truth
• On interpretations of arithmetic and set theory
• Outline of a Theory of Truth
• Proof theory. 2nd ed
• Reducing compositional to disquotational truth
• Reflecting on incompleteness
• Relative Truth Definability of Axiomatic Truth Theories
• Saving truth from paradox
• Subsystems of second order arithmetic
• Systems of predicative analysis
• The formalization of interpretability

Cited in

(4)

• Relative Truth Definability of Axiomatic Truth Theories
• scientific article; zbMATH DE number 5235521 (Why is no real title available?)
• Gaps, gluts, and theoretical equivalence
• Some notes on truths and comprehension

This page was built for publication: Equivalences for truth predicates

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