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.
]]>Some references about Shelah’s categoricity and in particular Espíndola’s recent work on Shelah’s eventual categoricity conjecture from the perspective of accessible categories.
]]>This is why I (and Goldblatt, and possibly nobody else) say ‘categorial’.
]]>New entry categoricity and a slight extension of the stub abstract elementary class.
]]>