The following pages link to (Q4079589):
Displaying 4 items.
- Applied model theory and metamathematics. An Abraham Robinson memorial problem list (Q1071758) (← links)
- More on real algebra in Scott's model (Q1076670) (← links)
- An effective version of Pólya's theorem on positive definite forms (Q1917390) (← links)
- An algorithmic approach to Schmüdgen's Positivstellensatz (Q5957271) (← links)