A theory with two strongly constructivizable models
From MaRDI portal
Publication:1146664
DOI10.1007/BF01669502zbMath0448.03028OpenAlexW2094727405MaRDI QIDQ1146664
Publication date: 1979
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01669502
autostabilitycomplete decidable theoryconstructive enumerationsstrongly constructive modelsstrongly constructivizable models
Model theory (03C99) Decidability of theories and sets of sentences (03B25) Theory of numerations, effectively presented structures (03D45) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (1)
Cites Work
This page was built for publication: A theory with two strongly constructivizable models