Kernels, truth and satisfaction
Tom 67 / 2019
Bulletin Polish Acad. Sci. Math. 67 (2019), 31-35
MSC: Primary 03H15, 03C50, 05C20.
DOI: 10.4064/ba8176-1-2019
Opublikowany online: 1 March 2019
Streszczenie
The Kotlarski–Krajewski–Lachlan Theorem says that every resplendent model of Peano Arithmetic has a full satisfaction class. Enayat and Visser gave a more model-theoretic proof of this theorem. We redo their proof using kernels of directed graphs.