On the Effectiveness of the Schroder-Bernstein Theorem
From MaRDI portal
Publication:3955342
DOI10.2307/2043533zbMath0493.03021MaRDI QIDQ3955342
Publication date: 1981
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2043533
03E20: Other classical set theory (including functions, relations, and set algebra)
03D45: Theory of numerations, effectively presented structures
Related Items
Banach’s theorem in higher-order reverse mathematics, Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes, Index sets for \(\Pi^0_1\) classes