JEDNOSTKA NAUKOWA KATEGORII A+

Kernels, truth and satisfaction

Tom 67 / 2019

James H. Schmerl 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.

Autorzy

  • James H. SchmerlDepartment of Mathematics
    University of Connecticut
    Storrs, CT 06269, U.S.A.
    e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek