Logical reflection and formalism

DOI10.2307/2964281zbMath0086.00902OpenAlexW1970483359MaRDI QIDQ3257117

Paul Lorenzen

Publication date: 1959

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964281

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (5)

La prédicativité ⋮ Infinite objects in type theory ⋮ Predicativity and constructive mathematics ⋮ Operation and Predicativity: Lorenzen’s Approach to Arithmetic ⋮ Lorenzen and Constructive Mathematics

Cites Work

• Hierarchies of number-theoretic predicates
• Formal Reductions of the General Combinatorial Decision Problem

This page was built for publication: Logical reflection and formalism