Reverse mathematics and its meaning

DOI10.1007/BF03186483zbMath0787.03050OpenAlexW1985781654MaRDI QIDQ1312709

Roman Murawski

Publication date: 23 May 1994

Published in: Mathematische Semesterberichte (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03186483

zbMATH Keywords

reverse mathematics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hilbert's program. An essay on mathematical instrumentalism
• On expandability of models of Peano arithmetic. I
• Ordinal numbers and the Hilbert basis theorem
• Accessible Independence Results for Peano Arithmetic
• Second order arithmetic and related topics

This page was built for publication: Reverse mathematics and its meaning