Algorithmic reducibilities of algebraic structures

Abstract

Using admissibility for a computable model theory for uncountable structures 
DOI: 10.1093/logcom/exq046

Topics

Cite this paper

@article{Kalimullin2012AlgorithmicRO, title={Algorithmic reducibilities of algebraic structures}, author={Iskander Sh. Kalimullin}, journal={J. Log. Comput.}, year={2012}, volume={22}, pages={831-843} }