scientific article; zbMATH DE number 3598440

MaRDI QIDQ4165359zbMATH OpenFDO

Authors S. S. Goncharov

Publication date 1978

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Other model constructions (03C30) Categoricity and completeness of theories (03C35) Theory of numerations, effectively presented structures (03D45) Applications of computability and recursion theory (03D80)

Cited in

(4)

• Spectra of recursive models of disintegrated strongly minimal theories
• Automatic models of first order theories
• IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE
• Recursive spectra of flat strongly minimal theories

This page was built for publication:

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