On the structure of models of bounded -induction
Časopis pro pěstování matematiky (1984)
- Volume: 109, Issue: 4, page 372-379
- ISSN: 0528-2195
Access Full Article
top
How to cite
topParis, Jeff B.. "O struktuře modelů omezené $E_1$-indukce." Časopis pro pěstování matematiky 109.4 (1984): 372-379. <http://eudml.org/doc/21572>.
@article{Paris1984,
author = {Paris, Jeff B.},
journal = {Časopis pro pěstování matematiky},
keywords = {fragments of arithmetic; models of arithmetic; proof theory; induction},
language = {cze},
number = {4},
pages = {372-379},
publisher = {Mathematical Institute of the Czechoslovak Academy of Sciences},
title = {O struktuře modelů omezené $E_1$-indukce},
url = {http://eudml.org/doc/21572},
volume = {109},
year = {1984},
}
TY - JOUR
AU - Paris, Jeff B.
TI - O struktuře modelů omezené $E_1$-indukce
JO - Časopis pro pěstování matematiky
PY - 1984
PB - Mathematical Institute of the Czechoslovak Academy of Sciences
VL - 109
IS - 4
SP - 372
EP - 379
LA - cze
KW - fragments of arithmetic; models of arithmetic; proof theory; induction
UR - http://eudml.org/doc/21572
ER -
References
top- 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.
- P. Cohen, Set Theory and the Continuum Hypothesis, W. A. Benjamin, Inc., New York, 1966. (1966) Zbl0182.01301MR0232676
- K. MacAloon, On the complexity of models of arithmetic, Journal of Symbolic Logic, 47 č.2. MR0654796
- J. Paris, Note on an induction axiom, Journal of Symbolic Logic, 43 č. 1. Zbl0399.03009MR0495122
- J. Paris C. Dimitracopoulos, Truth definitions for formulae, Logic and Algorithm, Monographic No. 30 de L'Enseignement Mathematique.
- J. Shepherdson, Non-standard models for fragments of number theory, Theory of Models, North Holland, 1965. (1965) Zbl0154.26202MR0197318
- A. Wilkie, Some results and problems on weak systems of arithmetic, Logic Colloquium '77, North Holland, 1978. (1978) Zbl0449.03076MR0519823
- G. Wilmers, Bounded Existential Induction, Journal of Symbolic Logic (v tisku). Zbl0634.03029
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.