Geodesic
O struktuře modelů omezené $E\sb 1$-indukce
Časopis pro pěstování matematiky, Tome 109 (1984) no. 4, pp. 372-379

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

DOI MR   Zbl

DOI : 10.21136/CPM.1984.118206
Classification : 03F30 
Paris, Jeff B. O struktuře modelů omezené $E\sb 1$-indukce. Časopis pro pěstování matematiky, Tome 109 (1984) no. 4, pp. 372-379. doi: 10.21136/CPM.1984.118206
@article{10_21136_CPM_1984_118206,
     author = {Paris, Jeff B.},
     title = {O struktu\v{r}e model\r{u} omezen\'e $E\sb 1$-indukce},
     journal = {\v{C}asopis pro p\v{e}stov\'an{\'\i} matematiky},
     pages = {372--379},
     year = {1984},
     volume = {109},
     number = {4},
     doi = {10.21136/CPM.1984.118206},
     mrnumber = {774279},
     zbl = {0567.03028},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CPM.1984.118206/}
}
TY  - JOUR
AU  - Paris, Jeff B.
TI  - O struktuře modelů omezené $E\sb 1$-indukce
JO  - Časopis pro pěstování matematiky
PY  - 1984
SP  - 372
EP  - 379
VL  - 109
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1984.118206/
DO  - 10.21136/CPM.1984.118206
LA  - cs
ID  - 10_21136_CPM_1984_118206
ER  - 
%0 Journal Article
%A Paris, Jeff B.
%T O struktuře modelů omezené $E\sb 1$-indukce
%J Časopis pro pěstování matematiky
%D 1984
%P 372-379
%V 109
%N 4
%U http://geodesic.mathdoc.fr/articles/10.21136/CPM.1984.118206/
%R 10.21136/CPM.1984.118206
%G cs
%F 10_21136_CPM_1984_118206

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

[2] P. Cohen: Set Theory and the Continuum Hypothesis. W. A. Benjamin, Inc., New York, 1966. | MR | Zbl

[3] K. MacAloon: On the complexity of models of arithmetic. Journal of Symbolic Logic, 47 č.2. | MR

[4] J. Paris: Note on an induction axiom. Journal of Symbolic Logic, 43 č. 1. | MR | Zbl

[5] J. Paris C. Dimitracopoulos: Truth definitions for $\Delta_0$ formulae. Logic and Algorithm, Monographic No. 30 de L'Enseignement Mathematique.

[6] J. Shepherdson: Non-standard models for fragments of number theory. Theory of Models, North Holland, 1965. | MR | Zbl

[7] A. Wilkie: Some results and problems on weak systems of arithmetic. Logic Colloquium '77, North Holland, 1978. | MR | Zbl

[8] G. Wilmers: Bounded Existential Induction. Journal of Symbolic Logic (v tisku). | Zbl

Cité par Sources :