A note on geometric theories of fields

DOI10.2140/MT.2023.2.121MaRDI QIDQ6166189zbMATH OpenOpenAlexFDO

Authors Will Johnson, Jinhe Ye

Publication date 2 August 2023

Published in Model Theory (Search for Journal in Brave)

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

zbMATH Keywords

uniform finitenessgeometric fieldsalgebraic bounded fieldsvery slim fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12)

Abstract: Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange property. Then $T$ has uniform finiteness, or equivalently, it eliminates the quantifier $exist{s}^{i}nfty$. It follows that very slim fields in the sense of Junker and Koenigsmann are the same thing as geometric fields in the sense of Hrushovski and Pillay. Modulo some fine print, these two concepts are also equivalent to algebraically bounded fields in the sense of van den Dries. From the proof, one gets a one-cardinal theorem for geometric theories of fields: any infinite definable set has the same cardinality as the field. We investigate whether this extends to interpretable sets. We show that positive dimensional interpretable sets must have the same cardinality as the field, but zero-dimensional interpretable sets can have smaller cardinality. As an application, we show that any geometric theory of fields has an uncountable model with only countably many finite algebraic extensions.

Recommendations

• scientific article; zbMATH DE number 2152680
• Schlanke Körper (slim fields)
• Perfect pseudo-algebraically closed fields are algebraically bounded.
• scientific article; zbMATH DE number 2220977
• scientific article; zbMATH DE number 1002918

Cites work

• Corps et chirurgie
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Fully Hilbertian fields
• Logic with the quantifier “there exist uncountably many”
• Perfect pseudo-algebraically closed fields are algebraically bounded.
• Schlanke Körper (slim fields)
• Stability in geometric theories
• The canonical topology on dp-minimal fields

Cited in

(5)

• Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
• scientific article; zbMATH DE number 3215152 (Why is no real title available?)
• A Simple World Model Appropriate to the Geometric Theory of Fields
• scientific article; zbMATH DE number 2099858 (Why is no real title available?)
• Model-theoretic properties of nilpotent groups and Lie algebras

This page was built for publication: A note on geometric theories of fields

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