×
Kochen, Simon; Kripke, Saul

Non-standard models of Peano arithmetic. (English) Zbl 0514.03045

Logic and arithmetic, int. Symp., Zürich 1980, Monogr. L’Enseign. Math. 30, 275-295 (1982).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0514.03045

Cited in 1 Review
Cited in 1 Document

MSC:

03H15 Nonstandard models of arithmetic

Keywords:

nonstandard models of arithmetic; bounded ultrapowers; Ramsey theorems

Citations:

Zbl 0471.00009
Cite Review PDF