The characteristic sequence of a first-order formula

DOI10.2178/JSL/1286198155zbMATH Open1220.03019OpenAlexW2104974344MaRDI QIDQ3066802FDOQ3066802

Authors: M. Malliaris 

Publication date: 12 January 2011

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1286198155

Recommendations

• Edge distribution and density in the characteristic sequence
• Characterization of NIP theories by ordered graph-indiscernibles
• scientific article; zbMATH DE number 2113455
• A note on \(\mathrm{NSOP}_1\) in one variable
• Local order property in nonelementary classes

zbMATH Keywords

simplicityclassification theoryNIPcombinatorial configurationsfirst-order formulatree propertiescharacteristic sequence of hypergraphs

Mathematics Subject Classification ID

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

Cites Work

• Toward classifying unstable theories
• Realization of \(\varphi \)-types and Keisler's order
• More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
• On generically stable types in dependent theories
• On \(\vartriangleleft^{*}\)-maximality.
• Lascar strong types in some simple theories
• From Stability to Simplicity

Cited In (9)

• Regularity lemmas for stable graphs
• A dividing line within simple unstable theories
• Keisler's order is not simple (and simple theories may not be either)
• Edge distribution and density in the characteristic sequence
• Cofinality spectrum problems: the axiomatic approach
• Hypergraph sequences as a tool for saturation of ultrapowers
• Independence, order, and the interaction of ultrafilters and theories
• Characterization of first-order convergent sequences
• Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles

This page was built for publication: The characteristic sequence of a first-order formula

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