Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • Uniformly defining p-henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Annals of Pure and Applied Logic 166 (7-8):741-754.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Definable Henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Journal of Symbolic Logic 80 (1):85-99.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • On the Undecidability of Power Series Fields.James Ax - 1971 - Journal of Symbolic Logic 36 (4):684-684.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Existential equivalence of ordered abelian groups with parameters.V. Weispfenning - 1990 - Archive for Mathematical Logic 29 (4):237-248.
    In [GK], Gurevich and Kokorin proved that any two non-trivial ordered abelian groups (o-groups, for short) satisfy the same existential sentences. Let nowG, H be non-trivialo-groups with a commono-subgroupG 0. We determine whetherG andH are existentially equivalent overG 0. As a corollary, we obtain algebraic criteria for deciding, whether ano-subgroupG is existentially closed in ano-groupH. Corresponding results are proved foro-groups in which congruences are regarded as atomic relations.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Existential ∅-definability of Henselian valuation rings.Arno Fehm - 2015 - Journal of Symbolic Logic 80 (1):301-307.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)AN EXISTENTIAL ∅-DEFINITION OF $Fq [[t]]$ IN $Fq \left$.Will Anscombe & Jochen Koenigsmann - 2014 - Journal of Symbolic Logic 79 (4):1336-1343.
    Download  
     
    Export citation  
     
    Bookmark   2 citations