Prime models of finite computable dimension

DOI10.2178/JSL/1231082315zbMath1160.03015OpenAlexW2016058033MaRDI QIDQ3616356

Pavel Semukhin

Publication date: 25 March 2009

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1231082315

zbMATH Keywords

first-order theorycomputable modelprime model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (1)

A family with a single minimal but not least numbering

Cites Work

• The possible Turing degree of the nonzero member in a two element degree spectrum
• Computable isomorphisms, degree spectra of relations, and Scott families
• Degree spectra and computable dimensions in algebraic structures
• A computably categorical structure whose expansion by a constant has infinite computable dimension

This page was built for publication: Prime models of finite computable dimension