If you need an accessible version of this item please contact JSTOR User Support

Global Inductive Definability

Jon Barwise and Yiannis N. Moschovakis
The Journal of Symbolic Logic
Vol. 43, No. 3 (Sep., 1978), pp. 521-534
DOI: 10.2307/2273529
Stable URL: http://www.jstor.org/stable/2273529
Page Count: 14
  • Download PDF
  • Cite this Item

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support
Global Inductive Definability
Preview not available

Abstract

We show that several theorems on ordinal bounds in different parts of logic are simple consequences of a basic result in the theory of global inductive definitions.

Page Thumbnails

  • Thumbnail: Page 
521
    521
  • Thumbnail: Page 
522
    522
  • Thumbnail: Page 
523
    523
  • Thumbnail: Page 
524
    524
  • Thumbnail: Page 
525
    525
  • Thumbnail: Page 
526
    526
  • Thumbnail: Page 
527
    527
  • Thumbnail: Page 
528
    528
  • Thumbnail: Page 
529
    529
  • Thumbnail: Page 
530
    530
  • Thumbnail: Page 
531
    531
  • Thumbnail: Page 
532
    532
  • Thumbnail: Page 
533
    533
  • Thumbnail: Page 
534
    534