Order:
  1.  6
    Existential ∅-Definability of Henselian Valuation Rings.Arno Fehm - 2015 - Journal of Symbolic Logic 80 (1):301-307.
  2.  14
    On the Quantifier Complexity of Definable Canonical Henselian Valuations.Arno Fehm & Franziska Jahnke - 2015 - Mathematical Logic Quarterly 61 (4-5):347-361.
  3.  15
    Elementary Geometric Local–Global Principles for Fields.Arno Fehm - 2013 - Annals of Pure and Applied Logic 164 (10):989-1008.
    We define and investigate a family of local–global principles for fields involving both orderings and p-valuations. This family contains the PAC, PRC and PpC fields and exhausts the class of pseudo classically closed fields. We show that the fields satisfying such a local–global principle form an elementary class, admit diophantine definitions of holomorphy domains, and their orderings satisfy the strong approximation property.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  4.  6
    A Note on Defining Transcendentals in Function Fields.Arno Fehm & Wulf-Dieter Geyer - 2009 - Journal of Symbolic Logic 74 (4):1206 - 1210.
    The work [11] deals with questions of first-order definability in algebraic function fields. In particular, it exhibits new cases in which the field of constant functions is definable, and it investigates the phenomenon of definable transcendental elements. We fix some of its proofs and make additional observations concerning definable closure in these fields.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark