scientific article
From MaRDI portal
Publication:3762442
zbMATH Open0624.14017MaRDI QIDQ3762442
Publication date: 1987
Title of this publication is not available (Why is that?)
real spectrumelimination of quantifierscategorical logicreal algebraic geometrysemi-algebraic setssemi-pfaffian sets
Categorical logic, topoi (03G30) Topoi (18B25) Quantifier elimination, model completeness, and related topics (03C10) Real algebraic and real-analytic geometry (14Pxx)
Related Items (2)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3762442)