Proof theory and intuitionistic systems
Author(s)
Bibliographic Information
Proof theory and intuitionistic systems
（Lecture notes in mathematics, 212）
Springer-Verlag, 1971
- : Germany
- : U.S.
Available at / 70 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: GermanyL/N||LNM||2121810889
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science数学
: Germany/SCA 762080107352
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [291]
Description and Table of Contents
Table of Contents
and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN*.
by "Nielsen BookData"