Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

&
Journal of Symbolic Logic 31 (3):325-358 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270450

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Induction and transfinite induction in intuitionistic systems.Bruno Scarpellini - 1972 - Annals of Mathematical Logic 4 (2):173.
Characterising Brouwer’s continuity by bar recursion on moduli of continuity.Makoto Fujiwara & Tatsuji Kawai - 2020 - Archive for Mathematical Logic 60 (1):241-263.
A note on predicative ordinal analysis I: Iterated comprehension and transfinite induction.Sato Kentaro - 2019 - Journal of Symbolic Logic 84 (1):226-265.
Review: G. Kreisel, Non-Uniqueness Results for Transfinite Progressions. [REVIEW]Donald Monk - 1960 - Journal of Symbolic Logic 25 (4):364-364.
Normalization of natural deductions of a constructive arithmetic for transfinite recursion and bar induction.Osamu Takaki - 1997 - Notre Dame Journal of Formal Logic 38 (3):350-373.
Review: G. Kreisel, Foundations of Intuitionistic Logic. [REVIEW]Abraham Robinson - 1965 - Journal of Symbolic Logic 30 (2):243-244.
Intuitionistically provable recursive well-orderings.Harvey M. Friedman & Andre Scedrov - 1986 - Annals of Pure and Applied Logic 30 (2):165-171.
The role of parameters in bar rule and bar induction.Michael Rathjen - 1991 - Journal of Symbolic Logic 56 (2):715-730.
Is the intuitionistic bar-induction a constructive principle?Klaus Mainzer - 1977 - Notre Dame Journal of Formal Logic 18 (4):583-588.
Review: G. Kreisel, On Weak Completeness of Intuitionistic Predicate Logic. [REVIEW]Joan Rand Moschovakis - 1969 - Journal of Symbolic Logic 34 (1):119-120.

Analytics

Added to PP
2009-01-28

Downloads
46 (#355,372)

6 months
10 (#309,337)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.
An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.

View all 22 citations / Add more citations

References found in this work

Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.

Add more references