Publication:4165359
From MaRDI portal
zbMath0385.03025MaRDI QIDQ4165359
Publication date: 1978
Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35) Other model constructions (03C30)
Related Items
Automatic models of first order theories, Recursive spectra of flat strongly minimal theories, Spectra of recursive models of disintegrated strongly minimal theories, IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE