BoneyDefCohUlt

BoneyDefCohUlt

We cross the method of extenders from set theory with the notion of definable ultrapowers to develop definable coherent ultrapowers. This allows us to characterize any extension in an L_{\infty, \omega}-class with definable Skolem functions as a coherent ultrafilter on the base.

Back To Top
Skip to toolbar