scientific article
From MaRDI portal
Publication:3912552
zbMath0463.03005MaRDI QIDQ3912552
Publication date: 1980
Full work available at URL: https://eudml.org/doc/198157
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Theory of numerations, effectively presented structures (03D45) Other model constructions (03C30)
Related Items (2)
A totally transcendental decidable theory without constructivizable homogeneous models ⋮ Theory of Abelian groups with constructive models
This page was built for publication:
