Satisfaction classes with approximate disjunctive correctness
Logic
2025-12-29 v3
Abstract
We present two new constructions of satisfaction/truth classes over models of PA (Peano Arithmetic) that provide a foil to the fact that the existence of a disjunctively correct full truth class over a model M of PA implies that Con(PA) holds in M.
Cite
@article{arxiv.2308.07463,
title = {Satisfaction classes with approximate disjunctive correctness},
author = {Ali Enayat},
journal= {arXiv preprint arXiv:2308.07463},
year = {2025}
}
Comments
16 pages. This is a modified version of the paper published in the Review of Symbolic Logic (with the same title). See the note at the beginning of the paper for a description of the modifications. In this version, Definition 2.2.5(g) is fine-tuned