pith. sign in

arxiv: 1804.09067 · v3 · pith:UCZVRRP5new · submitted 2018-04-24 · 🧮 math.LO

Categoricity in multiuniversal classes

classification 🧮 math.LO
keywords classesclosuremultiuniversalauthorcategoricityessentiallyresultuniversal
0
0 comments X
read the original abstract

The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentially definable closure). Along the way, we prove in particular that Galois (orbital) types in multiuniversal classes are determined by their finite restrictions, generalizing a result of the second author.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.