Toward Classifying Unstable
نویسنده
چکیده
We prove a consistency results saying, that for a simple (first order) theory, it is easier to have a universal model in some cardinalities, than for the theory of linear order. We define additional properties of first order theories, the n-strong order property (SOPn in short). The main result is that a first order theory with the 4-strong order property behaves like linear orders concerning existence of universal models.
منابع مشابه
Toward Classifying Unstable Theories Sh500
We prove a consistency results saying, that for a simple (first order) theory, it is easier to have a universal model in some cardinalities, than for the theory of linear order. We define additional properties of first order theories, the n-strong order property (SOPn in short). The main result is that a first order theory with the 4-strong order property behaves like linear orders concerning e...
متن کاملToward Classifying Unstable Theories
We prove a consistency results saying, that for a simple (first order) theory, it is easier to have a universal model in some cardinalities, than for the theory of linear order. We define additional properties of first order theories, the n-strong order property (SOPn in short). The main result is that a first order theory with the 4-strong order property behaves like linear orders concerning e...
متن کاملON THE MOD p COHOMOLOGY OF BPU(p)
We study the mod p cohomology of the classifying space of the projective unitary group PU(p). We first prove that conjectures due to J.F. Adams and Kono and Yagita (1993) about the structure of the mod p cohomology of the classifying space of connected compact Lie groups hold in the case of PU(p). Finally, we prove that the classifying space of the projective unitary group PU(p) is determined b...
متن کاملBP-cohomology of mapping spaces from the classifying space of a torus
Let p be a fixed prime number, V a group isomorphic to (Z/p) for some integer d and BV its classifying space. The exceptional properties of the mod p cohomology of BV , as an unstable module and algebra over the Steenrod algebra, have led to the calculation of the mod p cohomology of the mapping spaces with source BV as the image by a functor TV of the mod p cohomology of the target ([La2]). Th...
متن کاملMochizuki’s Crys-stable Bundles: a Lexicon and Applications
Mochizuki’s work on torally crys-stable bundles [9] has extensive implications for the theory of logarithmic connections on vector bundles of rank 2 on curves, once the language is translated appropriately. We describe how to carry out this translation, and give two classes of applications: first, one can conclude almost immediately certain results classifying Frobenius-unstable vector bundles ...
متن کامل