scientific article; zbMATH DE number 3598440
From MaRDI portal
Publication:4165359
zbMath0385.03025MaRDI QIDQ4165359
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (4)
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
This page was built for publication: