scientific article; zbMATH DE number 2227817

MaRDI QIDQ5703752zbMATH OpenFDO

Authors

Publication date 10 November 2005

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cited in

(15)

• Reverse mathematics of the uncountability of \(\mathbb{R}\)
• Chi-Tat Chong’s Work on Reverse Mathematics
• Reverse Mathematics and Π¹₂ Comprehension
• Representations and the foundations of mathematics
• Reverse physics: from laws to physical assumptions
• Reverse mathematics, Young diagrams, and the ascending chain condition
• Reverse mathematics and Isbell's zig-zag theorem
• The Borel complexity of isomorphism for o-minimal theories
• Reverse mathematics and parameter-free transfer
• To be or not to be constructive, that is not the question
• Primitive recursive reverse mathematics
• On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
• Reverse formalism 16
• More infinity for a better finitism
• Countable sets versus sets that are countable in reverse mathematics

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 Q5703752)