2 papers
math.LO2018
Degrees of Categoricity Above Limit Ordinals
Barbara F. Csima, Michael Deveau, Matthew Harrison-Trainor +1
A computable structure has degree of categoricity if is exactly the degree of difficulty of computing isomorphisms between isomorphic comput…
math.CA2015
Would Real Analysis be complete without the Fundamental Theorem of Calculus?
Michael Deveau, Holger Teismann
The paper continues the intriguing theme that many key facts of (single-variable) Real Analysis are not only crucially dependent on the completeness of the real numbers, but are ac…