Proceedings of the Seminar on Algebra and Mathematical Logic of the Kazan (Volga Region) Federal University

Geodesic

Parcourir par

Proceedings of the Seminar on Algebra and Mathematical Logic of the Kazan (Volga Region) Federal University

Sommaire

Studies in algebra and mathematical logic at the Kazan University

A. N. Abyzov ; M. M. Arslanov

p. 3-7

Turing computability: structural theory

M. M. Arslanov ; M. M. Yamaleev

p. 8-41

Categoricity spectra of computable structures

N. A. Bazhenov

p. 42-58

Degrees of enumerations of countable Wehner-like families

I. Sh. Kalimullin ; M. Kh. Faizrakhmanov

p. 59-69

Computable linear orders and limitwise monotonic functions

M. V. Zubkov ; A. N. Frolov

p. 70-105

Precomplete numberings

V. L. Selivanov

p. 106-134