Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
New entry categoricity and a slight extension of the stub abstract elementary class.
This is why I (and Goldblatt, and possibly nobody else) say ‘categorial’.
I have some informal information that Espíndola’s recent work is very interesting to model theory community but it is not yet independently checked nor widely accepted. The result is rather far reaching and some parts of the argument are not clear to the experts. Let us hope that his method works and that it will be clear at some point.
1 to 4 of 4