Equational theories of fields

DOI10.1017/JSL.2020.13MaRDI QIDQ5148112zbMATH OpenOpenAlexFDO

Authors Martin Ziegler, Amador Martin-Pizarro

Publication date 29 January 2021

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1702.05735

zbMATH Keywords

differential algebraequationalitypairs of fieldsseparably closed fields

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Differential algebra (12H05) Model theory of fields (12L12)

Abstract: A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability. We show the equationality of the theory of proper extensions of algebraically closed fields of some fixed characteristic and of the theory of separably closed fields of arbitrary imperfection degree. Srour showed that the theory of differentially closed fields in positive characteristic is equational. We give also a different proof of his result.

Recommendations

• A note on equational theories
• Theories with equational forking
• Closed sets and chain conditions in stable theories
• The independence relation in separably closed fields
• The theory of modules of separably closed fields 1

Cites work

• A note on equational theories
• Closed sets and chain conditions in stable theories
• Complete theories of algebraically closed fields with distinguished subfields
• scientific article; zbMATH DE number 4170851 (Why is no real title available?)
• scientific article; zbMATH DE number 1958374 (Why is no real title available?)
• Idéaux et types sur les corps séparablement clos
• Imaginaries in pairs of algebraically closed fields
• Lovely pairs of models
• Paires de structures stables
• Quantifier elimination in pairs of algebraically closed fields
• The independence relation in separably closed fields
• The indiscernible topology: A mock Zariski topology
• The notion of independence in categories of algebraic structures. I: Basic properties

Cited in

(12)

• The notion of independence in categories of algebraic structures. I: Basic properties
• Éz fields
• Closed sets and chain conditions in stable theories
• The independence relation in separably closed fields
• Theories with equational forking
• Trois couleurs: A new non-equational theory
• Field Theory: From Equations to Axiomatization
• On algebraically closed fields with a distinguished subfield
• Noetherian theories
• Separably differentially closed fields
• Simplicity of the automorphism group of fields with operators
• Semi-equational theories

This page was built for publication: Equational theories of fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5148112)