Decidability of the class of all the rings : A problem of Ax
DOI10.1017/fms.2023.62OpenAlexW4385200297MaRDI QIDQ6168504
Jamshid Derakhshan, Angus J. Macintyre
Publication date: 9 August 2023
Published in: Forum of Mathematics, Sigma (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/fms.2023.62
Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Model-theoretic algebra (03C60) Structure theory for finite fields and commutative rings (number-theoretic aspects) (11T30) Decidability of theories and sets of sentences (03B25) Adèle rings and groups (11R56) Model theory of finite structures (03C13) Model theory (number-theoretic aspects) (11U09) Field arithmetic (12E30) Valued fields (12J10)
Cites Work
- Some supplements to Feferman-Vaught related to the model theory of adeles
- Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
- Model theory of adeles. I.
- The elementary theory of finite fields
- The first order properties of products of algebraic systems
- Unnamed Item
- Unnamed Item
This page was built for publication: Decidability of the class of all the rings : A problem of Ax
