Switch to: References

Add citations

You must login to add citations.
  1. Undecidable lt theories of topological Abelian groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
    We prove the hereditary undecidability of the L t theories of: (1) torsion-free Hausdorff topological abelian groups; (2) locally pure Hausdorff topological abelian groups.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Topological differential fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
    We consider first-order theories of topological fields admitting a model-completion and their expansion to differential fields . We give a criterion under which the expansion still admits a model-completion which we axiomatize. It generalizes previous results due to M. Singer for ordered differential fields and of C. Michaux for valued differential fields. As a corollary, we show a transfer result for the NIP property. We also give a geometrical axiomatization of that model-completion. Then, for certain differential valued fields, we extend (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Locally pure topological abelian groups: elementary invariants.G. Cherlin & P. H. Schmitt - 1983 - Annals of Pure and Applied Logic 24 (1):49-85.
    Download  
     
    Export citation  
     
    Bookmark   1 citation