Switch to: References

Add citations

You must login to add citations.
  1. Burden of Henselian Valued Fields in the Denef–Pas Language.Peter Sinclair - 2022 - Notre Dame Journal of Formal Logic 63 (4):463-480.
    Motivated by the Ax–Kochen/Ershov principle, a large number of questions about Henselian valued fields have been shown to reduce to analogous questions about the value group and residue field. In this article, we investigate the burden of Henselian valued fields in the three-sorted Denef–Pas language. If T is a theory of Henselian valued fields admitting relative quantifier elimination (in any characteristic), we show that the burden of T is equal to the sum of the burdens of its value group and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Burden in Henselian valued fields.Pierre Touchard - 2023 - Annals of Pure and Applied Logic 174 (10):103318.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Generalised stability of ultraproducts of finite residue rings.Ricardo Isaac Bello Aguirre - 2021 - Archive for Mathematical Logic 60 (7):815-829.
    We study ultraproducts of finite residue rings \ where \ is a non-principal ultrafilter. We find sufficient conditions of the ultrafilter \ to determine if the resulting ultraproduct \ has simple, NIP, \ but not simple nor NIP, or \ theory, noting that all these four cases occur.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Grothendieck rings of ℤ-valued fields.Raf Cluckers & Deirdre Haskell - 2001 - Bulletin of Symbolic Logic 7 (2):262-269.
    We prove the triviality of the Grothendieck ring of a Z-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K 2 to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)Grothendieck Rings of $mathbb{Z}$-Valued Fields.Raf Cluckers & Deirdre Haskell - 2001 - Bulletin of Symbolic Logic 7 (2):262-269.
    We prove the triviality of the Grothendieck ring of a $\mathbb{Z}$-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K$^2$ to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.
    Download  
     
    Export citation  
     
    Bookmark   1 citation