Results 251 to 257 of about 23,100,798 (257)

Khutoretskii’s Theorem for Generalized Computable Families

Algebra and Logic, 2019
M Kh Faizrakhmanov
exaly  

Degrees of categoricity of computable structures

Archive for Mathematical Logic, 2009
Russell Miller, Ekaterina B. Fokina, Iskander Sh. Kalimullin   +2 more
exaly  

Structures Computable in Polynomial Time. II

Algebra and Logic, 2018
exaly  

Structures Computable in Polynomial Time. I

Algebra and Logic, 2017
exaly  

Finite computable dimension does not relativize

Archive for Mathematical Logic, 2002
exaly  

Derivatives of Computable Functions

Mathematical Logic Quarterly, 1998
exaly  

On the complexity of categoricity in computable structures

Mathematical Logic Quarterly, 2003
exaly