Computable Categoricity, and Topology in Reverse Mathematics

Java Darleen Villano. Computable Categoricity, and Topology in Reverse Mathematics. Bulletin of Symbolic Logic, 31(4):694, 2025. [doi]

Abstract

Abstract is missing.