Switch to: References

Add citations

You must login to add citations.
  1. Two Examples Concerning Existential Undecidability in Fields.Philip Dittmann - forthcoming - Journal of Symbolic Logic:1-12.
    We construct an existentially undecidable complete discretely valued field of mixed characteristic with existentially decidable residue field and decidable algebraic part, answering a question by Anscombe–Fehm in a strong way. Along the way, we construct an existentially decidable field of positive characteristic with an existentially undecidable finite extension, modifying a construction due to Kesavan Thanagopal.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark