A note on geometric theories of fields

DOI10.2140/MT.2023.2.121arXiv2208.00586OpenAlexW4382047748MaRDI QIDQ6166189FDOQ6166189

Authors: Will Johnson, Jinhe Ye 

Publication date: 2 August 2023

Published in: Model Theory (Search for Journal in Brave)

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.

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

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

zbMATH Keywords

uniform finitenessgeometric fieldsalgebraic bounded fieldsvery slim fields

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• Model-theoretic properties of nilpotent groups and Lie algebras
• Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
• A Simple World Model Appropriate to the Geometric Theory of Fields
• Title not available (Why is that?)

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)