Definable Coherent Ultrapowers and Elementary Extensions

MaRDI QIDQ6277369zbMATH OpenFDO

Authors Will Boney

Publication date 9 September 2016

Abstract: We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $mathbb{L}_{infty,omega}$ that defines Skolem functions by a sufficiently complete (but in $ZFC$) coherent ultrafilter. We apply this method to various elementary classes and AECs.

This page was built for publication: Definable Coherent Ultrapowers and Elementary Extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6277369)