scientific article

zbMath0973.03049MaRDI QIDQ2742900

N. Kh. Kasymov, F. N. Ibragimov

Publication date: 24 September 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

structurealgorithm theoryrecursively separable model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items

Computably separable models ⋮ Separable algorithmic representations of classical systems and their applications ⋮ Negative dense linear orders