scientific article; zbMATH DE number 896244

MaRDI QIDQ4883907zbMATH OpenFDO

Authors Roman Murawski

Publication date 14 June 1998

zbMATH Keywords

Friedman's programmepredicative systemsreverse mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• Reverse mathematics and its meaning
• scientific article; zbMATH DE number 1082863
• scientific article; zbMATH DE number 1254485
• The prehistory of the subsystems of second-order arithmetic

Cited in

(6)

• Error and predicativity
• scientific article; zbMATH DE number 1254485 (Why is no real title available?)
• scientific article; zbMATH DE number 1870427 (Why is no real title available?)
• scientific article; zbMATH DE number 1418433 (Why is no real title available?)
• Why Predicative Sets?
• Predicativity and Feferman

This page was built for publication:

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