| Title:
|
“Disorder” in lattices of binumerations (English) |
| Author:
|
Kent, Clement F. |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
15 |
| Issue:
|
2 |
| Year:
|
1974 |
| Pages:
|
221-244 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02D99 |
| MSC:
|
02G99 |
| MSC:
|
03B99 |
| MSC:
|
03D99 |
| MSC:
|
03F99 |
| idZBL:
|
Zbl 0291.02022 |
| idMR:
|
MR0351770 |
| . |
| Date available:
|
2008-06-05T20:44:25Z |
| Last updated:
|
2012-04-27 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105548 |
| . |
| Reference:
|
[B 67] BALBES B.: Projective and injective distributive lattices.Pac. Jour-Math. 21 (1967), 405-420. Zbl 0157.34301, MR 0211927 |
| Reference:
|
[BH 67] BALBES B., HORN A.: Order sums of distributive lattices.Pac. Jour. Math. 21 (1967), 421-435. Zbl 0157.34401, MR 0211928 |
| Reference:
|
[F 60] FEFERMAN S.: Arithmetization of metamathematics in a generalized setting.Fund. Math. XLIV (1960), 35-92. MR 0147397 |
| Reference:
|
[F 62] FEFERMAN S.: Transfinite recursive progressions of axiomatic theories.Jour. Symb. Log. 27 (1962), 259-316. MR 0172792 |
| Reference:
|
[H 71] HÁJKOVÁ M.: The lattice of binumerations of arithmetic, I and II.Comment. Math. Univ. Carolinae 12 (1971), 81-104, 281-306. |
| Reference:
|
[J 71] JEROSLOW R.: Consistency statements in formal theories.Fund. Math. 72 (1971), 17-40. Zbl 0254.02038, MR 0299476 |
| Reference:
|
[J 73] JEROSLOW R.: On the encodings used in the arithmetization of metamathematics.unpublished manuscript. |
| Reference:
|
[Kl 58] KLEENE S.: Extension of an effectively generated class of functions by enumeration.Colloq. Math. 6 (1958), 67-78. Zbl 0085.24602, MR 0118672 |
| Reference:
|
[Kr 58] KREISEL G.: Mathematical significance of consistency proofs.Jour. Symb. Log. 23 (1958), 155-182. MR 0115912 |
| Reference:
|
[Kr 65] KREISEL G.: Mathematical logic.Lectures on Modern Mathematics, v. III, ed. Saaty, Wiley, NY (1965), 95-195. Zbl 0147.24703, MR 0177866 |
| Reference:
|
[Kr 68] KREISEL G.: A survey of proof theory.Jour. Symb. Log. 33 (1968), 321-388. Zbl 0177.01002, MR 0281580 |
| Reference:
|
[Krp 62] KRIPKE S.: "Flexible" predicates of formal number theory.Proc. Am. Math. Soc. 13 (1962), 647-650. Zbl 0109.00901, MR 0140407 |
| Reference:
|
[Mo 60] MOSTOWSKI A.: A generalization of the incompleteness theorem.Fund. Math. 49 (1960-61), 205-232. MR 0130174 |
| Reference:
|
[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 |
| . |
