On \(\vartriangleleft^{*}\)-maximality.
From MaRDI portal
Publication:1428039
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
Related Items (33)
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 NSOP1 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 ⋮ 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.
