×

Accessible independence results for Peano arithmetic. (English) Zbl 0501.03017


MSC:

03C62 Models of arithmetic and set theory
03H15 Nonstandard models of arithmetic
03F30 First-order arithmetic and fragments

Citations:

Zbl 0060.023
PDF BibTeX XML Cite
Full Text: DOI