A representation of models of Peano arithmetic
Mlček, Josef
Commentationes Mathematicae Universitatis Carolinae, Tome 014 (1973), p. 553-558 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1973-01-01
Classification:  02H05,  02H15,  02H20,  03C60,  12L15,  12L99 
@article{105508,
     author = {Josef Ml\v cek},
     title = {A representation of models of Peano arithmetic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {014},
     year = {1973},
     pages = {553-558},
     zbl = {0284.02029},
     mrnumber = {0323561},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105508}
}

Mlček, Josef. A representation of models of Peano arithmetic. Commentationes Mathematicae Universitatis Carolinae, Tome 014 (1973) pp. 553-558. http://gdmltest.u-ga.fr/item/105508/

Serge Lang Algebra, Addison-Wesley, 1965. (1965) | MR 0197234

Gerald F. Sacks Saturated Model Theory, W. A. Benjamin, 1972. (1972) | MR 0398817