scientific article; zbMATH DE number 1417306
From MaRDI portal
Publication:4944059
zbMATH Open0948.32011MaRDI QIDQ4944059
Publication date: 20 November 2000
Title of this publication is not available (Why is that?)
first-order logicsubanalytic setsreal analytic functionsmodel-completenesssemianalytic setsGabrielov's complement theoremRobinson's test
Real-analytic and semi-analytic sets (14P15) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (7)
Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable ⋮ Correction to: ``The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable ⋮ On Models Constructed by Means of the Arithmetized Completeness Theorem ⋮ An inner model theoretic proof of Becker's theorem ⋮ Title not available (Why is that?)
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 Q4944059)
