About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Mlček, Josef
Twin prime problem in an arithmetic without induction. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 3, pp. 543-555
MSC: 02H05, 02H15, 02H25, 03B25, 03C60, 10H15, 10N05, 11U05 | MR 0432450 | Zbl 0344.02039
References:
[1] J. L. BELL A. B. SLOMSON: Models and ultraproducts. NHPC 1969.
[2] A. MOSKOWSKI: Sentences undecidable in formalized arithmetic. NHPC 1952.
[3] J. R. SHOENFIELD: Mathematic Logic. Addison-Wesley 1967. MR 0225631
Partner of
EuDML logo