Switch to: References

Add citations

You must login to add citations.
  1. Prototypes for Definable Subsets of Algebraically Closed Valued Fields.Jan E. 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, (...)
    Direct download (8 more)  
    Export citation  
  • More on Imaginaries in P-Adic Fields.Philip Scowcroft - 1997 - Journal of Symbolic Logic 62 (1):1-13.