Kernels, truth and satisfaction

• Autorzy: Schmerl James H.

Identyfikatory

DOI

10.4064/ba8176-1-2019

• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

satisfaction classes; Peano Arithmetic; directed graphs; kernels

• Wydawca: Instytut Matematyczny PAN
• Czasopismo: Bulletin of the Polish Academy of Sciences. Mathematics
• Rocznik: 2019
• Tom: Vol. 67, no. 1
• Strony: 31--35
• Opis fizyczny: Bibliogr. 5 poz.

Twórcy

autor

Schmerl James H.

• Department of Mathematics, University of Connecticut, Storrs, CT 06269, U.S.A.

Bibliografia

• [BJG09] J. Bang-Jensen and G. Gutin, Digraphs. Theory, Algorithms and Applications, 2nd ed., Springer Monogr. Math., Springer, London, 2009.
• [BS76] J. Barwise and J. Schlipf, An introduction to recursively saturated and resplendent models, J. Symbolic Logic 41 (1976), 531-536.
• [EV15] A. Enayat and A. Visser, New constructions of satisfaction classes, in: Unifying the Philosophy of Truth, Log. Epistemol. Unity Sci. 36, Springer, Dordrecht, 2015, 321-335.
• [KKL81] H. Kotlarski, S. Krajewski and A. H. Lachlan, Construction of satisfaction classes for nonstandard models, Canad. Math. Bull. 24 (1981), 283-293.
• [vNM44] J. von Neumann and O. Morgenstern, Theory of Games and Economic Behavior, Princeton Univ. Press, Princeton, 1944.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2019).