arXiv Open Access 2016

Definable Coherent Ultrapowers and Elementary Extensions

Will Boney

Lihat Sumber

Abstrak

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, ω}$ that defines Skolem functions by a sufficiently complete (but in $ZFC$) coherent ultrafilter. We apply this method to various elementary classes and AECs.

Topik & Kata Kunci

math.LO

Penulis (1)

Will Boney

Format Sitasi

APA MLA BibTeX

Boney, W. (2016). Definable Coherent Ultrapowers and Elementary Extensions. https://arxiv.org/abs/1609.02970

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2016
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓