Dividing and weak quasi-dimensions in arbitrary theories

DOI10.1007/S00153-015-0449-4MaRDI QIDQ892144zbMATH OpenOpenAlexFDO

Authors Isaac Goldbring, Henry Towsner

Publication date 18 November 2015

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

dividingpseudofinite structurequasidimension

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Classification theory, stability, and related concepts in model theory (03C45)

Abstract: We show that any countable model of a model complete theory has an elementary extension with a "pseudofinite-like" quasidimension that detects dividing.

Review text

The notion of pseudofinite dimension, defined by \textit{E. Hrushovski} and \textit{F. Wagner} [Lond. Math. Soc. Lect. Note Ser. 350, 161--176 (2008; Zbl 1166.03013)], is used by model theorists to describe forking is various situations. The present paper extends a result of \textit{D. García} et al. [J. Math. Log. 15, No. 1, Article ID 1550002, 41 p. (2015; Zbl 1337.03041)] on witnessing dividing by a drop of pseudofinite dimension in pseudofinite structures to a more general situation by embedding any countable model of a model-complete theory in a pseudofinite structure while preserving the notion of dimension.

Recommendations

• Pseudofinite structures and simplicity
• Dimensional groups and fields
• Pseudodimension of relational structures
• On pseudo-finite dimensions
• Counting measure and forking in finite models

Cites work

• On pseudo-finite dimensions
• Pseudofinite structures and simplicity
• Stable group theory and approximate subgroups

Cited in

(1)

• On pseudo-finite dimensions

This page was built for publication: Dividing and weak quasi-dimensions in arbitrary theories

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