BLE CATEGORICITY OF LOCAL ABSTRACT ELEMENTARY CLASSES WITH AMALGAMATION JOHN T. BALDWIN AND OLIVIER LESSMANN We give a complete and elementary proof of the following upward categoricity theorem: Let K be a local abstract elementary class with amalgamation, arbitrarily large models, and countable L
John T. Baldwin, Olivier Lessmann