EIGHTY YEARS OF FOUNDATIONAL STUDIES
From MaRDI portal
Cited in
(10)- Wittgenstein and logic
- Strict finitism
- Reverse mathematics of topology: dimension, paracompactness, and splittings
- Splittings and disjunctions in reverse mathematics
- On a problem of Kleene’s
- Developing arithmetic in set theory without infinity: some historical remarks
- Strict finitism, feasibility, and the sorites
- Nets and reverse mathematics
- Strict finitism and feasibility
- A journey through constructive inverse semigroups with apartness
This page was built for publication: EIGHTY YEARS OF FOUNDATIONAL STUDIES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3262773)