Access

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 Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis

W. A. Howard and G. Kreisel
The Journal of Symbolic Logic
Vol. 31, No. 3 (Sep., 1966), pp. 325-358
DOI: 10.2307/2270450
Stable URL: http://www.jstor.org/stable/2270450
Page Count: 34
  • Read Online (Free)
  • Download ($10.00)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis
Preview not available

Page Thumbnails

  • Thumbnail: Page 
325
    325
  • Thumbnail: Page 
326
    326
  • Thumbnail: Page 
327
    327
  • Thumbnail: Page 
328
    328
  • Thumbnail: Page 
329
    329
  • Thumbnail: Page 
330
    330
  • Thumbnail: Page 
331
    331
  • Thumbnail: Page 
332
    332
  • Thumbnail: Page 
333
    333
  • Thumbnail: Page 
334
    334
  • Thumbnail: Page 
335
    335
  • Thumbnail: Page 
336
    336
  • Thumbnail: Page 
337
    337
  • Thumbnail: Page 
338
    338
  • Thumbnail: Page 
339
    339
  • Thumbnail: Page 
340
    340
  • Thumbnail: Page 
341
    341
  • Thumbnail: Page 
342
    342
  • Thumbnail: Page 
343
    343
  • Thumbnail: Page 
344
    344
  • Thumbnail: Page 
345
    345
  • Thumbnail: Page 
346
    346
  • Thumbnail: Page 
347
    347
  • Thumbnail: Page 
348
    348
  • Thumbnail: Page 
349
    349
  • Thumbnail: Page 
350
    350
  • Thumbnail: Page 
351
    351
  • Thumbnail: Page 
352
    352
  • Thumbnail: Page 
353
    353
  • Thumbnail: Page 
354
    354
  • Thumbnail: Page 
355
    355
  • Thumbnail: Page 
356
    356
  • Thumbnail: Page 
357
    357
  • Thumbnail: Page 
358
    358