On spectra of computable models

MaRDI QIDQ2885205zbMATH OpenFDO

Authors E. B. Fokina

Publication date 21 May 2012

Published in Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

zbMATH Keywords

computable structuredecidable theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57)

Recommendations

• Spectra of computable models for Ehrenfeucht theories
• A new spectrum of recursive models
• A new spectrum of computable models
• Prime models of finite computable dimension
• Spectra of recursive models of disintegrated strongly minimal theories

Cited in

(5)

• A new spectrum of computable models
• Spectra of computable models for Ehrenfeucht theories
• Prime models of finite computable dimension
• Theory spectra and classes of theories
• A new spectrum of recursive models

This page was built for publication: On spectra of computable models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2885205)