Literatura k tematu
"Nestandardni modely aritmetiky" (podzim 2012)
(Postupne bude doplnovano.)
Hlavni:
Richard Kaye: Models of Peano Arithmetic,
Oxford University Press Clarendon Press,(1991).
Dalsi:
Haim Gaifam,
Nonsandard models in a broader perspective,
lecture notes, Columbia U.
Petr Hajek a Pavel Pudlak,
Metamathematics of First-Order Arithmetic,
2nd printing, Berlin: Springer-Verlag, (1998).
Avaliable via the Project Euclid.
Roman Kossak, James Schmerl:
The Structure of Models of Peano Arithmetic,
Oxford University Press Clarendon Press, 2006.
Jan Krajicek, Forcing with random variables and proof complexity,
CUP, (2011).
Appendix presents an ultrapower construction of a non-standard
model for logic beginners. Avaliable online.
Jaap van Oosten,
Introduction
to Peano arithmetic, lecture notes, Utrecht U.
Thoralf Skolem, Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen,
Fundam. Math., 23, pp.150–161,(1934).