Joseph S. Miller

collaborators

2 papers

math.LO2026

Listing the hyperarithmetical functions

Joseph S. Miller, Gian Marco Osso, Isabella Scott

Given a countable Turing ideal $I \subseteq I ¨ ^{I ¨} $ , we say that $x$ is a list (resp. weak list) of $I$ if $I = {x^{[n]} : n \in I ¨ }$ (resp. if $\mathc…

math.LO2024

Maximal towers and ultrafilter bases in computability

Steffen Lempp, Joseph S. Miller, Andre Nies +1

The tower number $t$ and the ultrafilter number $u$ are cardinal characteristics from set theory. They are based on combinatorial properties of classes of subse…