scientific article
From MaRDI portal
Publication:3936723
zbMath0479.03018MaRDI QIDQ3936723
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Connections between field theory and logic (12L99) Ordered structures (06F99) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)
Related Items (12)
The laws of integer divisibility, and solution sets of linear divisibility conditions ⋮ Formulation of linear problems and solution by a universal machine ⋮ The complexity of linear problems in fields ⋮ Convex polarities over ordered fields ⋮ Model companion of ordered theories with an automorphism ⋮ Relationships of properties of piecewise affine maps over ordered fields ⋮ Quantifier elimination in linear difference equations over Witt vectors ⋮ Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields ⋮ SEPARABLY CLOSED FIELDS AND CONTRACTIVE ORE MODULES ⋮ Bézout domains and lattice-valued modules ⋮ Valued modules on skew polynomial rings and Bézout domains ⋮ An Exact Correspondence of Linear Problems and Randomizing Linear Algorithms
This page was built for publication:
