All Questions

Background. The field of Borel equivalence relation theory provides a robust, unifying theory that organizes most of the classification problems of classical mathematics into a hierarchy, allowing us ...

Summary: My question, in a nutshell, is how we should intuitively imagine a generic real number (as opposed to a random one), and whether we can construct numbers which empirically behave like generic ...

Does Koepke's notion of ordinal computability admit an analogue of the Kleene $T$-predicate? If so, is the existence of such a $T$-predicate independent of $ZFC$? Also, if one assumes the existence ...