| Title:
|
O struktuře modelů omezené $E\sb 1$-indukce (Czech) |
| Title:
|
On the structure of models of bounded $E\sb 1$-induction (English) |
| Author:
|
Paris, Jeff B. |
| Language:
|
Czech |
| Journal:
|
Časopis pro pěstování matematiky |
| ISSN:
|
0528-2195 |
| Volume:
|
109 |
| Issue:
|
4 |
| Year:
|
1984 |
| Pages:
|
372-379 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| MSC:
|
03F30 |
| idZBL:
|
Zbl 0567.03028 |
| idMR:
|
MR774279 |
| DOI:
|
10.21136/CPM.1984.118206 |
| . |
| Date available:
|
2009-09-23T09:28:05Z |
| Last updated:
|
2020-07-29 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/118206 |
| . |
| Reference:
|
[1] P. Cegielski K. MacAloon G. Wilmers: Modéles récursivement saturés de l'addition et de la multiplication des entiers naturels.Logic Colloquium '80, red. D. van Dalen et alii, North Holland. |
| Reference:
|
[2] P. Cohen: Set Theory and the Continuum Hypothesis.W. A. Benjamin, Inc., New York, 1966. Zbl 0182.01301, MR 0232676 |
| Reference:
|
[3] K. MacAloon: On the complexity of models of arithmetic.Journal of Symbolic Logic, 47 č.2. MR 0654796 |
| Reference:
|
[4] J. Paris: Note on an induction axiom.Journal of Symbolic Logic, 43 č. 1. Zbl 0399.03009, MR 0495122 |
| Reference:
|
[5] J. Paris C. Dimitracopoulos: Truth definitions for $\Delta_0$ formulae.Logic and Algorithm, Monographic No. 30 de L'Enseignement Mathematique. |
| Reference:
|
[6] J. Shepherdson: Non-standard models for fragments of number theory.Theory of Models, North Holland, 1965. Zbl 0154.26202, MR 0197318 |
| Reference:
|
[7] A. Wilkie: Some results and problems on weak systems of arithmetic.Logic Colloquium '77, North Holland, 1978. Zbl 0449.03076, MR 0519823 |
| Reference:
|
[8] G. Wilmers: Bounded Existential Induction.Journal of Symbolic Logic (v tisku). Zbl 0634.03029 |
| . |
