Pseudofinite structures and simplicity

DOI10.1142/S0219061315500026zbMATH Open1337.03041arXiv1409.8635WikidataQ59896988 ScholiaQ59896988MaRDI QIDQ5501922FDOQ5501922

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)

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.

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

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

zbMATH Keywords

independencedimensionmodel theoryfinite and pseudofinite structures

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)

Cites Work

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

Cited In (14)

• Model theory of finite and pseudofinite groups
• Pseudofinite difference fields and counting dimensions
• MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES
• One-dimensional asymptotic classes of finite structures
• Graphons arising from graphs definable over finite fields
• Pseudofinite \(H\)-structures and groups definable in supersimple \(H\)-structures
• On Simple Pseudofinite Groups
• WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
• Pseudo-C-Archimedean and pseudo-finite cyclically ordered groups
• Dividing and weak quasi-dimensions in arbitrary theories
• Retracted: Pseudofinite difference fields
• Pseudofinite and pseudocompact metric structures
• Ordered asymptotic classes of finite structures
• On pseudo-finite dimensions

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)