Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Toward classifying unstable theories   The paper deals with two issues: the existence of universal models of a
theory T and related properties when cardinal arithmetic does not give this
existence offhand. In the first section we prove that simple theories (e.g.,
theories without the tree property, a class properly containing the stable
theories) behaves ``better'' than theories with the strict order property, by
criterion from [Sh:457]. In the second section we introduce properties SOP_n
such that the strict order property implies SOP_{n+1}, which implies SOP_n,
which in turn implies the tree property. Now SOP_4 already implies
non-existence of universal models in cases where earlier the strict order
property was needed, and SOP_3 implies maximality in the Keisler order, again
improving an earlier result which had used the strict order property.

35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
11
The categories of this paper are: hep-lat
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
19
The categories of this paper are: eess
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph