On the structure of models of bounded E 1 -induction

Jeff B. Paris

Časopis pro pěstování matematiky (1984)

  • Volume: 109, Issue: 4, page 372-379
  • ISSN: 0528-2195

How to cite


Paris, 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>.

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},

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 -


  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. (1966) Zbl0182.01301MR0232676
  3. K. MacAloon, On the complexity of models of arithmetic, Journal of Symbolic Logic, 47 č.2. MR0654796
  4. J. Paris, Note on an induction axiom, Journal of Symbolic Logic, 43 č. 1. Zbl0399.03009MR0495122
  5. J. Paris C. Dimitracopoulos, Truth definitions for Δ 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. (1965) Zbl0154.26202MR0197318
  7. A. Wilkie, Some results and problems on weak systems of arithmetic, Logic Colloquium '77, North Holland, 1978. (1978) Zbl0449.03076MR0519823
  8. G. Wilmers, Bounded Existential Induction, Journal of Symbolic Logic (v tisku). Zbl0634.03029

NotesEmbed ?


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

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.