Pseudofinite structures and simplicity

DOI10.1142/S0219061315500026MaRDI QIDQ5501922zbMATH OpenWikidataFDO

Authors Darío García, Dugald Macpherson, Charles Steinhorn

Publication date 14 August 2015

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

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

zbMATH Keywords

dimensionfinite and pseudofinite structuresindependencemodel theory

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Applications of model theory (03C98)

Abstract: We explore a notion of pseudofinite dimension, introduced by Hrushovski and Wagner, on an infinite ultraproduct of finite structures. Certain conditions on pseudofinite dimension are identified that guarantee simplicity or supersimplicity of the underlying theory, and that a drop in pseudofinite dimension is equivalent to forking. Under a suitable assumption, a measure-theoretic condition is shown to be equivalent to local stability. Many examples are explored, including vector spaces over finite fields viewed as 2-sorted finite structures, and homocyclic groups. Connections are made to products of sets in finite groups, in particular to word maps, and a generalization of Tao's algebraic regularity lemma is noted.

Recommendations

• ON SIMPLICITY OF BOUNDED PSEUDOALGEBRAICALLY CLOSED STRUCTURES
• Finitude simple et structures o-minimales (Finiteness property implies o-minimality)
• Pseudofiniteness in Hrushovski constructions
• Pseudofinite homogeneity, isolation, and reducibility
• Pseudofinite and pseudocompact metric structures
• scientific article; zbMATH DE number 2208072
• Simple structures axiomatized by almost sure theories
• On Simple Pseudofinite Groups
• scientific article; zbMATH DE number 1542828

Cites work

• Asymptotic classes of finite structures
• Definability and definable groups in simple theories
• ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES
• Finite subgroups of algebraic groups.
• From Stability to Simplicity
• Groups Covered By Permutable Subsets
• scientific article; zbMATH DE number 1912564 (Why is no real title available?)
• Model theory of finite fields and pseudo-finite fields
• Model-theory of vector-spaces over unspecified fields
• On pseudo-finite dimensions
• One-dimensional asymptotic classes of finite structures
• Product decompositions of quasirandom groups and a Jordan type theorem.
• Quasirandom Groups
• Remarks on unimodularity
• Simple theories
• Stable group theory and approximate subgroups
• Stable pseudofinite groups
• Supersimple fields and division rings
• The Waring problem for finite simple groups.

Cited in

(19)

• Ordered asymptotic classes of finite structures
• On pseudo-finite dimensions
• On Simple Pseudofinite Groups
• Retracted: Pseudofinite difference fields
• Pseudofinite and pseudocompact metric structures
• Pseudofinite difference fields and counting dimensions
• Graphons arising from graphs definable over finite fields
• Pseudo-C-Archimedean and pseudo-finite cyclically ordered groups
• Pseudofinite groups and VC-dimension
• Pseudofinite H-structures and groups definable in supersimple H-structures
• One-dimensional asymptotic classes of finite structures
• MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES
• WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
• Model theory of finite and pseudofinite groups
• Connected pseudofinite unars
• Counting in uncountably categorical pseudofinite structures
• Criterion for a formula-definable quasivariety
• Pseudofiniteness and measurability of the everywhere infinite forest
• Dividing and weak quasi-dimensions in arbitrary theories

This page was built for publication: Pseudofinite structures and simplicity

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