Switch to: Citations

Add references

You must login to add references.
  1. The First Order Properties of Products of Algebraic Systems.S. Feferman & R. L. Vaught - 1967 - Journal of Symbolic Logic 32 (2):276-276.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields.Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt & Angus Macintyre - 2013 - Annals of Pure and Applied Logic 164 (12):1236-1246.
    We give a definition, in the ring language, of Zp inside Qp and of Fp[[t]] inside Fp), which works uniformly for all p and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modification of the language of Macintyre. Furthermore, we show the negative result that in the language of rings there does not exist a uniform definition (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Relative elimination of quantifiers for Henselian valued fields.Serban A. Basarab - 1991 - Annals of Pure and Applied Logic 53 (1):51-74.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Substructures and uniform elimination for p-adic fields.Luc Bélair - 1988 - Annals of Pure and Applied Logic 39 (1):1-17.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Ultraproducts in the Theory of Models.Simon Kochen - 1962 - Journal of Symbolic Logic 27 (3):355-357.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Elements of mathematical logic.Georg Kreisel - 1967 - Amsterdam,: North Holland Pub. Co.. Edited by J. L. Krivine.
    Download  
     
    Export citation  
     
    Bookmark   12 citations