Some (non-)elimination results for curves in geometric structures

Serge Randriambololona, Sergei Starchenko

Type: Preprint

Publication Date: 2010-11-10

Citations: 0

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	Some (non-)elimination results for curves in geometric structures	2010	Serge Randriambololona Sergei Starchenko
+ PDF Chat	Some (non-)elimination results for curves in geometric structures	2011	Serge Randriambololona Sergei Starchenko
+ PDF Chat	Quantifier elimination for elementary geometry and elementary affine geometry	2012	Rafael Grimson Bart Kuijpers Walied Othman
+	DIOPHANTINE GEOMETRY OVER GROUPS V2: QUANTIFIER ELIMINATION II	2006	Zlil Sela
+	Diophantine geometry over groups V1: Quantifier elimination I	2005	Z. Zela
+	Complexity Classes and Completeness in Algebraic Geometry	2018	M. Umut Isik
+	On mechanical quantifier elimination for elementary algebra and geometry	1988	Dennis S. Arnon Maurice Mignotte
+	The model theory of the curve graph	2020	Valentina Disarlo Thomas Koberda Javier de la Nuez González
+	Algebraic Foundations	2000	Karen E. Smith Lauri Kahanpää Pekka Kekäläinen William N. Traves
+	Elimination of quantifiers in algebraic structures	1983	Angus Macintyre K.F. McKenna Lou van den Dries
+	Geometric Calculus and Geometry Foundations in Peano	2011	Paolo Freguglia
+	A CounterExample to Kahle-Conjecture, New Conjectures and Automated Proofs in Geometry	2009	Francesco de Comité Jean-Paul Delahaye
+	Hierarchies of Elementary Geometry and Automated Theorem Proving (Developments in Computer Algebra Research)	2015	Yosuke Sato
+ PDF Chat	Quantifier elimination for algebraic $D$-groups	2005	Piotr Kowalski Anand Pillay
+	Structure diagrams for geometry proofs	1963	Carolyn C. Thorsen
+	Seeing Algebraic Structure: The Rubik’s Cube Online Appendix 2	2018	Milewski Amanda Frohardt Daniel
+ PDF Chat	Seeing Algebraic Structure: The Rubik’s Cube Online Appendix 2	2018	Amanda Milewski Daniel Frohardt
+	A counterexample concerning quantifier elimination in quasianalytic structures	2013	Krzysztof Jan Nowak
+	Basic Algebraic Structures	1999	Lev V. Sabinin
+	Introduction to algebraic stacks	2014	Kai Behrend

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors