The two halves of disjunctive correctness

DOI10.1142/S021906132250026XMaRDI QIDQ6038484zbMATH OpenOpenAlexFDO

Authors Cezary Cieśliński, Bartosz Wcisło

Publication date 2 May 2023

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.13718

zbMATH Keywords

truth predicatesatisfaction classesaxiomatic truth theoriesdisjunctive correctnessTarski boundary

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Abstract: Ali Enayat had asked whether two halves of Disjunctive Correctness (DC) for the compositional truth predicate are conservative over Peano Arithmetic. In this article, we show that the principle "every true disjunction has a true disjunct" is equivalent to bounded induction for the compositional truth predicate and thus it is not conservative. On the other hand, the converse implication "any disjunction with a true disjunct is true" can be conservatively added to PA. The methods introduced here allow us to give a direct nonconservativeness proof for DC.

Recommendations

• Truth, disjunction, and induction
• The disjunction and existence properties for axiomatic systems of truth
• On partial disjunction properties of theories containing Peano arithmetic
• Local collection and end-extensions of models of compositional truth
• TRUTH AND FEASIBLE REDUCIBILITY

Cites work

• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• An axiomatic approach to self-referential truth
• Axiomatic theories of truth
• Conservativity for theories of compositional truth via cut elimination
• Construction of Satisfaction Classes for Nonstandard Models
• Local collection and end-extensions of models of compositional truth
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
• Notes on bounded induction for the compositional truth predicate
• Paradox without Self-Reference
• TRUTH AND FEASIBLE REDUCIBILITY
• Truth, disjunction, and induction

Cited in

(6)

• Compositional truth with propositional tautologies and quantifier-free correctness
• Pathologies in satisfaction classes
• Truth, disjunction, and induction
• Saturation properties for compositional truth with propositional correctness
• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
• On partial disjunction properties of theories containing Peano arithmetic

This page was built for publication: The two halves of disjunctive correctness

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