The existence of a 'large' family of subspaces of the real line, no member of which can be embedded into any other, has been known for almost eight decades. We present a proof, via transfinite ...
The Bulletin of Symbolic Logic, Vol. 28, No. 3 (SEPTEMBER 2022), pp. 451-465 (15 pages) L. D. Beklemishev, Induction rules, reflection principles, and provably ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback