Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Topological Elementary Equivalence of Closed Semi-Algebraic Sets in the Real Plane.Bart Kuijpers, Jan Paredaens & Jan Van Den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530 - 1555.
    We investigate topological properties of subsets S of the real plane, expressed by first-order logic sentences in the language of the reals augmented with a binary relation symbol for S. Two sets are called topologically elementary equivalent if they have the same such first-order topological properties. The contribution of this paper is a natural and effective characterization of topological elementary equivalence of closed semi-algebraic sets.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Topological elementary equivalence of closed semi-algebraic sets in the real plane.Bart Kuijpers, Jan Paredaens & Jan Van den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530-1555.
    We investigate topological properties of subsets S of the real plane, expressed by first-order logic sentences in the language of the reals augmented with a binary relation symbol for S. Two sets are called topologically elementary equivalent if they have the same such first-order topological properties. The contribution of this paper is a natural and effective characterization of topological elementary equivalence of closed semi-algebraic sets.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Geometric theorem proving by integrated logical and algebraic reasoning.Takashi Matsuyama & Tomoaki Nitta - 1995 - Artificial Intelligence 75 (1):93-113.
    Download  
     
    Export citation  
     
    Bookmark   1 citation