scientific article; zbMATH DE number 3497872
From MaRDI portal
Publication:4079589
zbMath0318.02033MaRDI QIDQ4079589
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Applications of computability and recursion theory (03D80) Algorithms in computer science (68W99)
Related Items (4)
More on real algebra in Scott's model ⋮ An effective version of Pólya's theorem on positive definite forms ⋮ An algorithmic approach to Schmüdgen's Positivstellensatz ⋮ Applied model theory and metamathematics. An Abraham Robinson memorial problem list
This page was built for publication:
