ext- + ACint is equivalent to ACext (0)

by J EM Carlström
Venue:Mathematical Logic Quarterly