Harvey Friedman's research on the foundations of mathematics

zbMath0588.03001MaRDI QIDQ1073004

No author found.

Publication date: 1985

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

Gödel's theorem; recursive function theory; logics of programs; rapidly growing functions; abstract set theory; Algorithmic procedures; Borel diagonalization; Borel structures for first-order and extended logics; Byerly, R. E.; combinatorial properties of finite trees; Computational complexity of real functions; consistency strengths; elementary recursion theory; Equality between functionals; finite forms of the Higman and Kruskal theorems; Friedman, Harvey; generalized Turing algorithms; Harrington, L. A.; Intuitionistic formal systems; Intuitionistic set theory; Kfoury, A. J.; Kolata, G; Leivant, D.; Nerode, A.; Nonprovability; Nonstandard models; pebble game; Ščedrov, A.; Shepherdson, J. C.; Simpson, S. G.; Smith, R. L.; Smoryński, C.; Stanley, L. J.; Statman, R.; Steinhorn, C.; subsystems of second order arithmetic; varieties of arboreal experience

Mathematics Subject Classification ID

01A70: Biographies, obituaries, personalia, bibliographies

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

Related Items

On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines, Polyadic quantifiers, Two remarks on the Lifschitz realizability topos, Generalized quantification as substructural logic, Kripke-style models for typed lambda calculus, The associated sheaf functor theorem in algebraic set theory, Mathematical intuition and the cognitive roots of mathematical concepts, On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory, What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory, Fast growing functions based on Ramsey theorems, On the strength of König's duality theorem for infinite bipartite graphs, Fuzzy sets and residuated logic, Riesz representation theorem, Borel measures and subsystems of second- order arithmetic, A study of singular points and supports of measures in reverse mathematics, Equivalence between Fraïssé's conjecture and Jullien's theorem, Fresh logic: Proof-theory and semantics for FM and nominal techniques, Heyting-valued interpretations for constructive set theory, Intuitionistic modal logic and set theory