scientific article
From MaRDI portal
Publication:3068266
zbMath1224.03013MaRDI QIDQ3068266
A. V. Romina, Andrey S. Morozov, Valentina S. Harizanov, Sergei S. Goncharov, Julia F. Knight
Publication date: 13 January 2011
Full work available at URL: http://www.emis.de/journals/SMZ/2005/03/523.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
admissible setcomputabilitycomputable modelconstructive modelScott rankrecursive modelquantifier rankrecursive automorphismautomorphic tupleshyperarithmetical model
Computable structure theory, computable model theory (03C57) Categoricity and completeness of theories (03C35)
Related Items (4)
A robuster Scott rank ⋮ Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra ⋮ On the isomorphism problem for some classes of computable algebraic structures ⋮ Turing degrees and automorphism groups of substructure lattices
This page was built for publication:
