Disjunctions with stopping conditions

Bulletin of Symbolic Logic 27 (3):231-253 (2021)
  Copy   BIBTEX


We introduce a tool for analysing models of $\text {CT}^-$, the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan’s theorem that the arithmetical part of models of $\text {CT}^-$ are recursively saturated. We also use this tool to provide a new proof of theorem from [8] that all models of $\text {CT}^-$ carry a partial inductive truth predicate. Finally, we construct a partial truth predicate defined for a set of formulae whose syntactic depth forms a nonstandard cut which cannot be extended to a full truth predicate satisfying $\text {CT}^-$.



    Upload a copy of this work     Papers currently archived: 78,003

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the practical value of Herbrand disjunctions.Uwe Petermann - 2000 - Logic and Logical Philosophy 8:153.
Stopping rules as experimental design.Samuel C. Fletcher - 2019 - European Journal for Philosophy of Science 9 (2):1-20.
Free choice is a form of dependence.Magdalena Kaufmann - 2016 - Natural Language Semantics 24 (3):247-290.
Splittings and Disjunctions in Reverse Mathematics.Sam Sanders - 2020 - Notre Dame Journal of Formal Logic 61 (1):51-74.
An antidote to illusory inferences.Carlos Santamaria & P. N. Johnson-Laird - 2000 - Thinking and Reasoning 6 (4):313 – 333.
In defence of honour.Kwame Anthony Appiah & Julian Baggini - 2011 - The Philosophers' Magazine 53:22-31.
In defence of honour.Kwame Anthony Appiah & Julian Baggini - 2011 - The Philosophers' Magazine 53 (53):22-31.


Added to PP

17 (#648,919)

6 months
5 (#168,853)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Roman Kossak
City University of New York

Citations of this work

Full Satisfaction Classes, Definability, and Automorphisms.Bartosz Wcisło - 2022 - Notre Dame Journal of Formal Logic 63 (2).

Add more citations

References found in this work

Truth, disjunction, and induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.
Bounded Induction and Satisfaction Classes.Henryk Kotlarski - 1986 - Mathematical Logic Quarterly 32 (31-34):531-544.
Models of weak theories of truth.Mateusz Łełyk & Bartosz Wcisło - 2017 - Archive for Mathematical Logic 56 (5-6):453-474.
Nonstandard definability.Stuart T. Smith - 1989 - Annals of Pure and Applied Logic 42 (1):21-43.

Add more references