CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES

Classically, any structure for a signature may be completed to a model of a desired regular theory by means of the chase construction or small object argument. Moreover, this exhibits as weakly ...