Realization of \(\varphi \)-types and Keisler's order
From MaRDI portal
Publication:1006615
DOI10.1016/J.APAL.2008.09.008zbMath1159.03022OpenAlexW1991361825MaRDI QIDQ1006615
Publication date: 25 March 2009
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2008.09.008
Related Items (19)
Cofinality spectrum theorems in model theory, set theory, and general topology ⋮ Cofinality spectrum problems: the axiomatic approach ⋮ Keisler's order has infinitely many classes ⋮ MODEL-THEORETIC PROPERTIES OF ULTRAFILTERS BUILT BY INDEPENDENT FAMILIES OF FUNCTIONS ⋮ KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT ⋮ Constructing regular ultrafilters from a model-theoretic point of view ⋮ Using ultrapowers to compare continuous structures ⋮ Some simple theories from a Boolean algebra point of view ⋮ The Keisler order in continuous logic ⋮ Existence of optimal ultrafilters and the fundamental complexity of simple theories ⋮ Edge distribution and density in the characteristic sequence ⋮ Independence, order, and the interaction of ultrafilters and theories ⋮ A dividing line within simple unstable theories ⋮ Hypergraph sequences as a tool for saturation of ultrapowers ⋮ On positive local combinatorial dividing-lines in model theory ⋮ An example of a new simple theory ⋮ Keisler's order is not simple (and simple theories may not be either) ⋮ General topology meets model theory, on 𝔭 and 𝔱 ⋮ The characteristic sequence of a first-order formula
Cites Work
This page was built for publication: Realization of \(\varphi \)-types and Keisler's order
