| Title:
|
The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems) (English) |
| Author:
|
Ivánek, Jiří |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
18 |
| Issue:
|
1 |
| Year:
|
1977 |
| Pages:
|
41-57 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02B10 |
| MSC:
|
02G10 |
| MSC:
|
03B10 |
| MSC:
|
03B60 |
| idZBL:
|
Zbl 0398.03011 |
| idMR:
|
MR0476476 |
| . |
| Date available:
|
2008-06-05T20:53:25Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105747 |
| . |
| Reference:
|
[1] IVÁNEK J.: O neaxiomatizovatelnosti observačního predikátového počtu.(Master thesis, Charles University 1976). |
| Reference:
|
[2] JECH T. J.: Lectures in Set Theory with Particular Emphasis on the Method of Forcing.Lecture Notes in Mathematics 217, Springer-Verlag 1971 (Russian translationt Moskva 1973). Zbl 0236.02048, MR 0321738 |
| Reference:
|
[3] MATIASEVIČ J. V.: Diofantovosť perečislimych množestv.Doklady AN SSSR (1970), 279-282. |
| Reference:
|
[4] MATIASEVIČ J. V.: Diofantovo predstavlenie perečislimych predikatov.Izvestija AN SSSR, Serija matematičeskaja 35 (1971), 3-30. |
| Reference:
|
[5] ROGERS H.: Theory of recursive functions and effective computability.McGraw-Hill Book Company,1967 (Russian translation: Moskva 1972). Zbl 0183.01401, MR 0224462 |
| Reference:
|
[6] SHOENFIELD J. R.: Mathematical Logic.Addison-Wesley Publishing Company,1967 (Russian translation: Moskva, 1975). Zbl 0155.01102, MR 0225631 |
| Reference:
|
[7] TRACHTENBROT B. A.: Nevozmožnosť algorifma dlja problemy razrešimosti na koněčnych klassach.Doklady AN SSSR 70 (1950), 569-572. |
| Reference:
|
[8] TRACHTENBROT B. A.: O rekursivnoj otdělimosti.Doklady AN SSSR 88 (1953), 953-956. MR 0065492 |
| . |
