Fodor space in generalized descriptive set theory
Abstract
We study the continuous reducibility of isomorphism relations in the space of regresive functions in κκ. We show for inaccessible κ, that if T is a theory with less than κ non-isomorphic models of size κ and T' is unstable or superstable non-classifiable, then the isomorphism of models of T is continuous reducible to the isomorphism of models of T'.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.