scientific article
From MaRDI portal
Publication:2709312
zbMath0968.12002MaRDI QIDQ2709312
Publication date: 24 July 2001
Full work available at URL: https://eudml.org/doc/187778
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (2)
THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory
This page was built for publication:
