26 citations · 42 across the 11 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022
Degrees of categoricity and treeable degrees
Barbara F. Csima, Dino Rossegger
We give a characterization of the strong degrees of categoricity of computable structures greater or equal to . They are precisely the \emph{treeable} degrees -- the l…
math.LO2022
Relations enumerable from positive information
Barbara F. Csima, Luke MacLean, Dino Rossegger
We study countable structures from the viewpoint of enumeration reducibility. Since enumeration reducibility is based on only positive information, in this setting it is natural to…