Foundations of Classical Analysis, Volumes 1-2 |
Contents
of Vol I and Section VI by W A Howard Section V and Appendices | 1 |
ination of the Aoperator | 2-57 |
zero | 15 |
1 other sections not shown
Common terms and phrases
A₁ Appendix arbitrary argument assume axiom of bar axiom of choice bar induction bar induction applied bar recursion Brouwer's characteristic functional Church's thesis classical analysis comprehension axiom consider consistency proof constants constructive functions contains continuous functionals CORNELL CORNELL cut free defined denote Dialectica interpretation equations equivalent extended extensionality finite sequences finite type follows formulae free choice sequences free ips variables free variables freely chosen function variables functional of type functionals of finite Godel's Hence hyperarithmetic induction of type inductive definitions intuitionistic logic Kleene's Kreisel Lemma lh(c mathematics means natural numbers notation notion number theoretic functions obtained predicate logic primitive recursive functionals principle provable proved quantifier-free quantifiers R-founded recursion of type reducible replaced restricted result rules satisfies schema second order arithmetic Section subformula Suppose transfinite induction transfinite recursion type symbols