scientific article; zbMATH DE number 1531925
From MaRDI portal
Publication:4513968
zbMath0967.03050MaRDI QIDQ4513968
Harvey M. Friedman, Stephen G. Simpson
Publication date: 28 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Normed linear spaces and Banach spaces; Banach lattices (46B99) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Generalized Ramsey theory (05C55) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Constructive real analysis (26E40) Modular lattices, complemented lattices (06C99)
Related Items (7)
Reverse complexity ⋮ Representations and the foundations of mathematics ⋮ “Weak yet strong” restrictions of Hindman’s Finite Sums Theorem ⋮ On classifying abduction ⋮ From Mathesis Universalis to Provability, Computability, and Constructivity ⋮ A computable analysis of variable words theorems ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
This page was built for publication:
