Switch to: References

Add citations

You must login to add citations.
  1. Prototypes for definable subsets of algebraically closed valued fields.Jan Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
    Elimination of imaginaries for 1-variable definable equivalence relations is proved for a theory of algebraically closed valued fields with new sorts for the disc spaces. The proof is constructive, and is based upon a new framework for proving elimination of imaginaries, in terms of prototypes which form a canonical family of formulas for defining each set that is definable with parameters. The proof also depends upon the formal development of the tree-like structure of valued fields, in terms of valued trees, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • More on imaginaries in p-adic fields.Philip Scowcroft - 1997 - Journal of Symbolic Logic 62 (1):1-13.
    Download  
     
    Export citation  
     
    Bookmark