On ^*-maximality.

DOI10.1016/J.APAL.2003.11.001zbMATH Open1040.03029OpenAlexW4213347674MaRDI QIDQ1428039FDOQ1428039

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

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

zbMATH Keywords

classification theoryunstable theoriesOak propertySOP hierarchy

Mathematics Subject Classification ID

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

Cites Work

• Classification theory and the number of non-isomorphic models.
• Model theory.
• Simple theories
• Toward classifying unstable theories
• Universal graphs at the successor of a singular cardinal
• A Partition Theorem
• Nonexistence of universal orders in many cardinals
• Title not available (Why is that?)
• Title not available (Why is that?)
• On universal locally finite groups
• The universality spectrum of stable unsuperstable theories

Cited In (38)

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

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)