Interpretations of syntactic fragments of theories of fields
From MaRDI portal
Publication:6515504
arXiv2312.17616MaRDI QIDQ6515504
Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) General valuation theory for fields (12J20)
This page was built for publication: Interpretations of syntactic fragments of theories of fields