The disjunction and existence properties for axiomatic systems of truth

DOI10.1016/0168-0072(88)90038-3zbMath0669.03026OpenAlexW2091412988MaRDI QIDQ1118582

Michael Sheard, Harvey M. Friedman

Publication date: 1988

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(88)90038-3

zbMATH Keywords

truth disjunction propertytruth existence propertytruth predicate for extensions of Peano arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (3)

Truth, reflection and hierarchies ⋮ Conceptual engineering for truth: aletheic properties and new aletheic concepts ⋮ Axiomatizing Kripke's theory of truth

Cites Work

• An axiomatic approach to self-referential truth
• The equivalence of the disjunction and existence properties for modal arithmetic
• The disjunction property implies the numerical existence property

This page was built for publication: The disjunction and existence properties for axiomatic systems of truth