On ^*-maximality.

DOI10.1016/J.APAL.2003.11.001MaRDI QIDQ1428039zbMATH OpenOpenAlexFDO

Authors S. Shelah, Mirna Džamonja

Publication date 14 March 2004

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://ueaeprints.uea.ac.uk/id/eprint/19951/1/692.pdf

zbMATH Keywords

classification theoryunstable theoriesOak propertySOP hierarchy

Mathematics Subject Classification ID

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

Recommendations

• More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
• Cofinality spectrum theorems in model theory, set theory, and general topology
• Toward classifying unstable theories
• On properties of theories which preclude the existence of universal models
• A note on \(\mathrm{NSOP}_1\) in one variable

Cites work

• scientific article; zbMATH DE number 3532940 (Why is no real title available?)
• scientific article; zbMATH DE number 524139 (Why is no real title available?)
• A Partition Theorem
• Classification theory and the number of non-isomorphic models.
• Model theory.
• Nonexistence of universal orders in many cardinals
• On universal locally finite groups
• Simple theories
• The universality spectrum of stable unsuperstable theories
• Toward classifying unstable theories
• Universal graphs at the successor of a singular cardinal

Cited in

(39)

• The stability spectrum for classes of atomic models
• Keisler's order is not simple (and simple theories may not be either)
• Local order property in nonelementary classes
• A new look at interpretability and saturation
• Criteria for exact saturation and singular compactness
• Generic expansions by a reduct
• Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023
• Positive indiscernibles
• scientific article; zbMATH DE number 3411294 (Why is no real title available?)
• More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
• Dividing lines in unstable theories and subclasses of Baire 1 functions
• Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
• On Kim-independence
• Local character of Kim-independence
• A note on \(\mathrm{NSOP}_1\) in one variable
• Notions around tree property 1
• Model-theoretic properties of ultrafilters built by independent families of functions
• Tree indiscernibilities, revisited
• Realization of \(\varphi \)-types and Keisler's order
• \(\mathrm{SOP}_1\), \(\mathrm{SOP}_2\), and antichain tree property
• On properties of theories which preclude the existence of universal models
• Hypergraph sequences as a tool for saturation of ultrapowers
• On the antichain tree property
• Model-theoretic applications of cofinality spectrum problems
• Universality: new criterion for non-existence
• Maximal T-spaces of a free associative algebra
• Transitivity of Kim-independence
• TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES
• Generic variations and NTP\(_1\)
• Cofinality spectrum theorems in model theory, set theory, and general topology
• The characteristic sequence of a first-order formula
• Independence, order, and the interaction of ultrafilters and theories
• Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
• Characterization of NIP theories by ordered graph-indiscernibles
• A new perspective on semi-retractions and the Ramsey property
• A dividing line within simple unstable theories
• Using ultrapowers to compare continuous structures
• Atomic saturation of reduced powers
• Existentially closed exponential fields

This page was built for publication: On \(\vartriangleleft^{*}\)-maximality.

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