Chains of theories and companionability
From MaRDI portal
Publication:2944867
DOI10.1090/proc12789zbMath1386.03040arXiv1303.6759OpenAlexW1998309277MaRDI QIDQ2944867
No author found.
Publication date: 8 September 2015
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1303.6759
Model-theoretic algebra (03C60) Differential algebra (12H05) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Generic automorphisms of fields
- Geometric characterizations of existentially closed fields with operators
- Some counterexamples to separation of variables
- Geometric axioms for differentially closed fields with several commuting derivations
- Model-theory of vector-spaces over unspecified fields
- Corrigendum to: ``Geometric axioms for differentially closed fields with several commuting derivations
- FIELDS WITH SEVERAL COMMUTING DERIVATIONS
- Model theory of difference fields
- The model theory of differential fields with finitely many commuting derivations
- Differential forms in the model theory of differential fields
- Model-completions and modules