scientific article; zbMATH DE number 6605655
From MaRDI portal
Publication:5741407
zbMath1349.03036MaRDI QIDQ5741407
Margaret I. Marchuk, Sergei S. Goncharov, Nikolay Bazhenov
Publication date: 22 July 2016
Full work available at URL: http://mathnet.ru/eng/vngu375
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
index setautostabilitycomputable modellinear orderingautostability relative to strong constructivizationsstrongly constructivizable modelcomputable ordinal
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (7)
The index set of the groups autostable relative to strong constructivizations ⋮ Index set of structures with two equivalence relations that are autostable relative to strong constructivizations ⋮ There is no classification of the decidably presentable structures ⋮ A note on decidable categoricity and index sets ⋮ Categoricity spectra of computable structures ⋮ AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES ⋮ Индексное множество автоустойчивых упорядоченных абелевых групп
This page was built for publication: