Switch to: References

Add citations

You must login to add citations.
  1. Undecidability of indecomposable polynomial rings.Marco Barone, Nicolás Caro-Montoya & Eudes Naziazeno - forthcoming - Archive for Mathematical Logic:1-19.
    By using algebraic properties of (commutative unital) indecomposable polynomial rings we achieve results concerning their first-order theory, namely: interpretability of arithmetic and a uniform proof of undecidability of their full theory, both in the language of rings without parameters. This vastly extends the scope of a method due to Raphael Robinson, which deals with a restricted class of polynomial integral domains.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • First-order definitions of rational functions and S -integers over holomorphy rings of algebraic functions of characteristic 0.Alexandra Shlapentokh - 2005 - Annals of Pure and Applied Logic 136 (3):267-283.
    We consider the problem of constructing first-order definitions in the language of rings of holomorphy rings of one-variable function fields of characteristic 0 in their integral closures in finite extensions of their fraction fields and in bigger holomorphy subrings of their fraction fields. This line of questions is motivated by similar existential definability results over global fields and related questions of Diophantine decidability.
    Download  
     
    Export citation  
     
    Bookmark