On the Effectiveness of the Schroder-Bernstein Theorem

DOI10.2307/2043533zbMath0493.03021OpenAlexW4255441359MaRDI QIDQ3955342

Jeffery B. Remmel

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

zbMATH Keywords

effective versions of the Schroeder-Bernstein theorem

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20) Theory of numerations, effectively presented structures (03D45)

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