4ANDREWDBROOKETAYLORANDSYDAVIDFRIEDMANEquivalentlyis1extendibleifandonlyifthereisaandanelementaryembeddingV1V1withcriticalpointTheabovedenitionwillbemoreconvenientforourpurposeshowev ID: 124997
4ANDREWD.BROOKE-TAYLORANDSY-DAVIDFRIEDMANEquivalently