The disjunction and existence properties for axiomatic systems of truth
From MaRDI portal
Publication:1118582
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
truth disjunction propertytruth existence propertytruth predicate for extensions of Peano arithmetic
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
This page was built for publication: The disjunction and existence properties for axiomatic systems of truth