2 papers
math.LO2025
Computability for tree presentations of continuum-size structures
Jason Block, Russell Miller
We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now…
math.LO2025
Elementarity of Subgroups and Complexity of Theories for Profinite Groups
Jason Block
Although (the group of all permutations of ) is size continuum, both it and its closed subgroups can be presented as the set of paths through a countable tre…