Geodesic
“Disorder” in lattices of binumerations
Commentationes Mathematicae Universitatis Carolinae, Tome 15 (1974) no. 2, pp. 221-244 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02D99, 02G99, 03B99, 03D99, 03F99 
@article{CMUC_1974_15_2_a2,
     author = {Kent, Clement F.},
     title = {{\textquotedblleft}Disorder{\textquotedblright} in lattices of binumerations},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {221--244},
     year = {1974},
     volume = {15},
     number = {2},
     mrnumber = {0351770},
     zbl = {0291.02022},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1974_15_2_a2/}
}
TY  - JOUR
AU  - Kent, Clement F.
TI  - “Disorder” in lattices of binumerations
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1974
SP  - 221
EP  - 244
VL  - 15
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/CMUC_1974_15_2_a2/
LA  - en
ID  - CMUC_1974_15_2_a2
ER  - 
%0 Journal Article
%A Kent, Clement F.
%T “Disorder” in lattices of binumerations
%J Commentationes Mathematicae Universitatis Carolinae
%D 1974
%P 221-244
%V 15
%N 2
%U http://geodesic.mathdoc.fr/item/CMUC_1974_15_2_a2/
%G en
%F CMUC_1974_15_2_a2
Kent, Clement F. “Disorder” in lattices of binumerations. Commentationes Mathematicae Universitatis Carolinae, Tome 15 (1974) no. 2, pp. 221-244. http://geodesic.mathdoc.fr/item/CMUC_1974_15_2_a2/

[B 67] BALBES B.: Projective and injective distributive lattices. Pac. Jour-Math. 21 (1967), 405-420. | MR | Zbl

[BH 67] BALBES B., HORN A.: Order sums of distributive lattices. Pac. Jour. Math. 21 (1967), 421-435. | MR | Zbl

[F 60] FEFERMAN S.: Arithmetization of metamathematics in a generalized setting. Fund. Math. XLIV (1960), 35-92. | MR

[F 62] FEFERMAN S.: Transfinite recursive progressions of axiomatic theories. Jour. Symb. Log. 27 (1962), 259-316. | MR

[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 | Zbl

[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 | Zbl

[Kr 58] KREISEL G.: Mathematical significance of consistency proofs. Jour. Symb. Log. 23 (1958), 155-182. | MR

[Kr 65] KREISEL G.: Mathematical logic. Lectures on Modern Mathematics, v. III, ed. Saaty, Wiley, NY (1965), 95-195. | MR | Zbl

[Kr 68] KREISEL G.: A survey of proof theory. Jour. Symb. Log. 33 (1968), 321-388. | MR | Zbl

[Krp 62] KRIPKE S.: "Flexible" predicates of formal number theory. Proc. Am. Math. Soc. 13 (1962), 647-650. | MR | Zbl

[Mo 60] MOSTOWSKI A.: A generalization of the incompleteness theorem. Fund. Math. 49 (1960-61), 205-232. | MR

[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