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