Article
Full entry |
PDF
(1.8 MB)
Feedback
PDF
(1.8 MB)
Feedback
References:
[B 67] BALBES B.: Projective and injective distributive lattices. Pac. Jour-Math. 21 (1967), 405-420. MR 0211927 | Zbl 0157.34301
[BH 67] BALBES B., HORN A.: Order sums of distributive lattices. Pac. Jour. Math. 21 (1967), 421-435. MR 0211928 | Zbl 0157.34401
[F 60] FEFERMAN S.: Arithmetization of metamathematics in a generalized setting. Fund. Math. XLIV (1960), 35-92. MR 0147397
[F 62] FEFERMAN S.: Transfinite recursive progressions of axiomatic theories. Jour. Symb. Log. 27 (1962), 259-316. MR 0172792
[H 71] HÁJKOVÁ M.: The lattice of binumerations of arithmetic, I and II. Comment. Math. Univ. Carolinae 12 (1971), 81-104, 281-306.
[J 71] JEROSLOW R.: Consistency statements in formal theories. Fund. Math. 72 (1971), 17-40. MR 0299476 | Zbl 0254.02038
[J 73] JEROSLOW R.: On the encodings used in the arithmetization of metamathematics. unpublished manuscript.
[Kl 58] KLEENE S.: Extension of an effectively generated class of functions by enumeration. Colloq. Math. 6 (1958), 67-78. MR 0118672 | Zbl 0085.24602
[Kr 58] KREISEL G.: Mathematical significance of consistency proofs. Jour. Symb. Log. 23 (1958), 155-182. MR 0115912
[Kr 65] KREISEL G.: Mathematical logic. Lectures on Modern Mathematics, v. III, ed. Saaty, Wiley, NY (1965), 95-195. MR 0177866 | Zbl 0147.24703
[Kr 68] KREISEL G.: A survey of proof theory. Jour. Symb. Log. 33 (1968), 321-388. MR 0281580 | Zbl 0177.01002
[Krp 62] KRIPKE S.: "Flexible" predicates of formal number theory. Proc. Am. Math. Soc. 13 (1962), 647-650. MR 0140407 | Zbl 0109.00901
[Mo 60] MOSTOWSKI A.: A generalization of the incompleteness theorem. Fund. Math. 49 (1960-61), 205-232. MR 0130174
[My 72] MYHILL J.: An absolutely independent set of $\Sigma_1^0$ sentences. Zeitschr. f. Math. Logik und Grundlagen d. Math. 18 (1972), 107-109. MR 0302425
Search
Partner of
