The formalization of mathematics

DOI10.2307/2267732MaRDI QIDQ5829015zbMATH OpenOpenAlexFDO

Authors Hao Wang

Publication date 1954

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

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

zbMATH Keywords

Philosophy and foundations of mathematics

Cites work

• Beweistheoretische Untersuchung der verzweigten Analysis
• The constructive second number class

Cited in

(9)

• Finitely stratified polymorphism
• In Memoriam: Hao Wang 1921–1995
• Operation and predicativity: Lorenzen's approach to arithmetic
• Predicativity and Feferman
• The prehistory of the subsystems of second-order arithmetic
• La prédicativité
• scientific article; zbMATH DE number 3290305 (Why is no real title available?)
• POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND
• An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)

This page was built for publication: The formalization of mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5829015)