On \(\vartriangleleft^{*}\)-maximality.

DOI10.1016/J.APAL.2003.11.001zbMath1040.03029OpenAlexW4213347674MaRDI QIDQ1428039

Saharon Shelah, Mirna Dzamonja

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)

Related Items (35)

On properties of theories which preclude the existence of universal models ⋮ Cofinality spectrum theorems in model theory, set theory, and general topology ⋮ Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories ⋮ THE STABILITY SPECTRUM FOR CLASSES OF ATOMIC MODELS ⋮ MODEL-THEORETIC PROPERTIES OF ULTRAFILTERS BUILT BY INDEPENDENT FAMILIES OF FUNCTIONS ⋮ Model-theoretic applications of cofinality spectrum problems ⋮ On Kim-independence ⋮ On the antichain tree property ⋮ Atomic saturation of reduced powers ⋮ Using ultrapowers to compare continuous structures ⋮ Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023 ⋮ TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES ⋮ \(\mathrm{SOP}_1\), \(\mathrm{SOP}_2\), and antichain tree property ⋮ Tree indiscernibilities, revisited ⋮ Notions around tree property 1 ⋮ Universality: new criterion for non-existence ⋮ Independence, order, and the interaction of ultrafilters and theories ⋮ Characterization of NIP theories by ordered graph-indiscernibles ⋮ Local character of Kim-independence ⋮ Transitivity of Kim-independence ⋮ A dividing line within simple unstable theories ⋮ A NOTE ON NSOP₁ IN ONE VARIABLE ⋮ Hypergraph sequences as a tool for saturation of ultrapowers ⋮ A new look at interpretability and saturation ⋮ Keisler's order is not simple (and simple theories may not be either) ⋮ More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\) ⋮ Generic expansions by a reduct ⋮ Generic variations and NTP\(_1\) ⋮ Existentially closed exponential fields ⋮ Positive indiscernibles ⋮ A new perspective on semi-retractions and the Ramsey property ⋮ The characteristic sequence of a first-order formula ⋮ Criteria for exact saturation and singular compactness ⋮ Realization of \(\varphi \)-types and Keisler's order ⋮ Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories

Cites Work

• Unnamed Item
• Unnamed Item
• On universal locally finite groups
• Classification theory and the number of non-isomorphic models.
• Model theory.
• The universality spectrum of stable unsuperstable theories
• Simple theories
• Toward classifying unstable theories
• Universal graphs at the successor of a singular cardinal
• Nonexistence of universal orders in many cardinals
• A Partition Theorem

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