10 citations · 17 across the 12 of their papers we have counts for
Showing 2022 · math.LOShow all
3 papers · 2 filters
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
The structural complexity of models of arithmetic
Antonio Montalbán, Dino Rossegger
We calculate the possible Scott ranks of countable models of Peano arithmetic. We show that no non-standard model can have Scott rank less than and that non-standard models of…
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…