Switch to: References

Add citations

You must login to add citations.
  1. La limite Des theories de courbes generiques.Olivier Chapuis, Ehud Hrushovski, Pascal Koiran & Bruno Poizat - 2002 - Journal of Symbolic Logic 67 (1):24-34.
    Ne estas prima orda formulo, kiu definas la Zariskijajn slositojn inter la konstruitoj, malpli ke la konektojn inter la slositoj.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Definability with a predicate for a semi-linear set.Michael Benedikt & H. Jerome Keisler - 2003 - Journal of Symbolic Logic 68 (1):319-351.
    We settle a number of questions concerning definability in first order logic with an extra predicate symbol ranging over semi-linear sets. We give new results both on the positive and negative side: we show that in first-order logic one cannot query a semi-linear set as to whether or not it contains a line, or whether or not it contains the line segment between two given points. However, we show that some of these queries become definable if one makes small restrictions (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark