“Disorder” in lattices of binumerations
Kent, Clement F.
Commentationes Mathematicae Universitatis Carolinae, Tome 015 (1974), p. 221-244 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1974-01-01
Classification:  02D99,  02G99,  03B99,  03D99,  03F99 
@article{105548,
     author = {Clement F. Kent},
     title = {``Disorder'' in lattices of binumerations},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {015},
     year = {1974},
     pages = {221-244},
     zbl = {0291.02022},
     mrnumber = {0351770},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105548}
}

Kent, Clement F. “Disorder” in lattices of binumerations. Commentationes Mathematicae Universitatis Carolinae, Tome 015 (1974) pp. 221-244. http://gdmltest.u-ga.fr/item/105548/

Balbes B. Projective and injective distributive lattices, Pac. Jour-Math. 21 (1967), 405-420. (1967) | MR 0211927 | Zbl 0157.34301

Balbes B.; Horn A. Order sums of distributive lattices, Pac. Jour. Math. 21 (1967), 421-435. (1967) | MR 0211928 | Zbl 0157.34401

Feferman S. Arithmetization of metamathematics in a generalized setting, Fund. Math. XLIV (1960), 35-92. (1960) | MR 0147397

Feferman S. Transfinite recursive progressions of axiomatic theories, Jour. Symb. Log. 27 (1962), 259-316. (1962) | MR 0172792

Hájková M. The lattice of binumerations of arithmetic, I and II, Comment. Math. Univ. Carolinae 12 (1971), 81-104, 281-306. (1971)

Jeroslow R. Consistency statements in formal theories, Fund. Math. 72 (1971), 17-40. (1971) | MR 0299476 | Zbl 0254.02038

Jeroslow R. On the encodings used in the arithmetization of metamathematics, unpublished manuscript.

Kleene S. Extension of an effectively generated class of functions by enumeration, Colloq. Math. 6 (1958), 67-78. (1958) | MR 0118672 | Zbl 0085.24602

Kreisel G. Mathematical significance of consistency proofs, Jour. Symb. Log. 23 (1958), 155-182. (1958) | MR 0115912

Kreisel G. Mathematical logic, Lectures on Modern Mathematics, v. III, ed. Saaty, Wiley, NY (1965), 95-195. (1965) | MR 0177866 | Zbl 0147.24703

Kreisel G. A survey of proof theory, Jour. Symb. Log. 33 (1968), 321-388. (1968) | MR 0281580 | Zbl 0177.01002

Kripke S. "Flexible" predicates of formal number theory, Proc. Am. Math. Soc. 13 (1962), 647-650. (1962) | MR 0140407 | Zbl 0109.00901

Mostowski A. A generalization of the incompleteness theorem, Fund. Math. 49 (1960-61), 205-232. (1960) | MR 0130174

Myhill J. An absolutely independent set of $\Sigma_1^0$ sentences, Zeitschr. f. Math. Logik und Grundlagen d. Math. 18 (1972), 107-109. (1972) | MR 0302425