pith. sign in

arxiv: 1411.5008 · v2 · pith:HPT35UFGnew · submitted 2014-11-18 · 🧮 math.LO

Strongly minimal pseudofinite structures

classification 🧮 math.LO
keywords minimalpseudofinitestronglycardinalitydefinablefinitenonstandardstructures
0
0 comments X
read the original abstract

We observe that the nonstandard finite cardinality of a definable set in a strongly minimal pseudofinite structure D is a polynomial over the integers in the nonstandard finite cardinality of D. We conclude that D is unimodular, hence also locally modular. We also deduce a regularity lemma for graphs definable in strongly minimal pseudofinite structures. The paper is elementary, and the only surprising thing about it is that the results were not explicitly noted before. In the new version we add a comment on relations to work of Macpherson and Steinhorn, as well as on the limited nature of the examples

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.