Showing 2024Show all
2 papers · 1 filter
math.LO2024
Generically Computable Linear Orderings
Wesley Calvert, Douglas Cenzer, David Gonzalez +1
We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the hierarchy. We focus on linear orderings.…
math.HO2024
In Memory of Martin Davis
Wesley Calvert, Valentina Harizanov, Eugenio G. Omodeo +2
The present paper gives an account for the general mathematical reader of the life and work of Martin Davis. Since two rather comprehensive autobiographical accounts and two long b…