Twin prime problem in an arithmetic without induction
Mlček, Josef
Commentationes Mathematicae Universitatis Carolinae, Tome 017 (1976), p. 543-555 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1976-01-01
Classification:  02H05,  02H15,  02H25,  03B25,  03C60,  10H15,  10N05,  11U05 
@article{105716,
     author = {Josef Ml\v cek},
     title = {Twin prime problem in an arithmetic without induction},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {017},
     year = {1976},
     pages = {543-555},
     zbl = {0344.02039},
     mrnumber = {0432450},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105716}
}

Mlček, Josef. Twin prime problem in an arithmetic without induction. Commentationes Mathematicae Universitatis Carolinae, Tome 017 (1976) pp. 543-555. http://gdmltest.u-ga.fr/item/105716/

J. L. Bell A. B. Slomson Models and ultraproducts, NHPC 1969. (1969)

A. Moskowski Sentences undecidable in formalized arithmetic, NHPC 1952. (1952)

J. R. Shoenfield Mathematic Logic, Addison-Wesley 1967. (1967) | MR 0225631