scientific article; zbMATH DE number 3330710
From MaRDI portal
Publication:5608740
zbMath0208.00901MaRDI QIDQ5608740
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)
Related Items (10)
Truth, reflection and hierarchies ⋮ POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND ⋮ Proof Theoretic Analysis by Iterated Reflection ⋮ The Operational Perspective: Three Routes ⋮ Unfolding Schematic Systems ⋮ Predicativity and Feferman ⋮ The implicit commitment of arithmetical theories and its semantic core ⋮ Truth and the philosophy of mathematics ⋮ Reflecting and unfolding ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
This page was built for publication:
