A new spectrum of computable models

MaRDI QIDQ1943912zbMATH OpenFDO

Authors Alexander Gavryushkin

Publication date 3 April 2013

Published in The Bulletin of Irkutsk State University. Series Mathematics (Search for Journal in Brave)

zbMATH Keywords

computable modeldecidable modelEhrenfeucht theoryhomogeneous modelprime model

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Computable structure theory, computable model theory (03C57)

Recommendations

• On spectra of computable models
• New Models of Computation
• Computable Models
• Computable Models
• Computability in special models
• Computability and computable models
• Models and computability
• A new spectrum of recursive models
• Computability of homogeneous models
• Spectra of computable models for Ehrenfeucht theories

Cited in

(9)

• Computable models of theories with few models
• On spectra of computable models
• On constructive models of theories with linear Rudin-Keisler ordering
• Spectra of computable models for Ehrenfeucht theories
• On the Computational Capabilities of Several Models
• scientific article; zbMATH DE number 3914293 (Why is no real title available?)
• Finite extensions and the number of countable models
• scientific article; zbMATH DE number 1390025 (Why is no real title available?)
• A decidable Ehrenfeucht theory with exactly two hyperarithmetic models

This page was built for publication: A new spectrum of computable models

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