scientific article; zbMATH DE number 2227817
From MaRDI portal
Publication:5703752
zbMATH Open1075.03002MaRDI QIDQ5703752FDOQ5703752
Authors:
Publication date: 10 November 2005
Title of this publication is not available (Why is that?)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cited In (15)
- Chi-Tat Chong’s Work on Reverse Mathematics
- Reverse mathematics of the uncountability of \(\mathbb{R}\)
- Reverse Mathematics and Π12 Comprehension
- Representations and the foundations of mathematics
- Reverse physics: from laws to physical assumptions
- Reverse mathematics, Young diagrams, and the ascending chain condition
- The Borel complexity of isomorphism for o-minimal theories
- Reverse mathematics and Isbell's zig-zag theorem
- Primitive recursive reverse mathematics
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
- Reverse mathematics and parameter-free transfer
- To be or not to be constructive, that is not the question
- 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)
