Curious satisfaction classes
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2023
- DOI:
- arXiv:
- arXiv:2308.07463
- Bibcode:
- 2023arXiv230807463E
- Keywords:
-
- Mathematics - Logic;
- Primary 03F30;
- 03C62;
- Secondary 03F25
- E-Print:
- 12 pages