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

Article

First Page Preview
Palúch, Stanislav
The lattices of numerations of theories containing Peano's arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 2, pp. 339-359
MSC: 02G99, 03B99, 03D99, 03F99 | MR 0360253 | Zbl 0268.02033
References:
[1] FEFERMAN S.: Arithmetization of metamathematics in a general setting. Fund. Math. XLIX (1960), 36-92. MR 0147397 | Zbl 0095.24301
[2] HÁJKOVÁ M.: The lattice of bi-numerations of arithmetic. Comment. Math. Univ. Carolinae 12 (1971), 81-104, 281-306.
[3] MENDELSON E.: Introduction to mathematical logic. Moskva, 1971.
[4] TARSKI A., MOSTOWSKI A., ROBINSON R. M.: Undecidable theories. Amsterdam, 1953. Zbl 0053.00401
Partner of
EuDML logo