Model completeness results for elliptic and abelian functions (Q1182466): Difference between revisions

@@ Property / cites work @@
+A Remark on the Nonnormal Locus of an Analytic Space
+Normal rank
@@ Property / cites work @@
+\(p\)-adic and real subanalytic sets
@@ Property / cites work: \(p\)-adic and real subanalytic sets / rank @@
+Normal rank
@@ Property / cites work @@
+Ultraproducts and approximation in local rings. II
+Normal rank
@@ Property / cites work @@
+On the elementary theory of restricted elementary functions
+Normal rank
@@ Property / cites work @@
+A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
+Normal rank
@@ Property / cites work @@
+Q5673172
@@ Property / cites work: Q5673172 / rank @@
+Normal rank
@@ Property / cites work @@
+Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
+Normal rank