Realization of \(\varphi \)-types and Keisler's order
From MaRDI portal
Publication:1006615
DOI10.1016/j.apal.2008.09.008zbMath1159.03022MaRDI 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
03C20: Ultraproducts and related constructions
Related Items
KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT, General topology meets model theory, on 𝔭 and 𝔱, Hypergraph sequences as a tool for saturation of ultrapowers, Using ultrapowers to compare continuous structures, Some simple theories from a Boolean algebra point of view, Cofinality spectrum problems: the axiomatic approach, Independence, order, and the interaction of ultrafilters and theories, Edge distribution and density in the characteristic sequence, Existence of optimal ultrafilters and the fundamental complexity of simple theories, Keisler's order has infinitely many classes, On positive local combinatorial dividing-lines in model theory, Keisler's order is not simple (and simple theories may not be either), A dividing line within simple unstable theories, The Keisler order in continuous logic, MODEL-THEORETIC PROPERTIES OF ULTRAFILTERS BUILT BY INDEPENDENT FAMILIES OF FUNCTIONS, Constructing regular ultrafilters from a model-theoretic point of view, The characteristic sequence of a first-order formula, An example of a new simple theory, Cofinality spectrum theorems in model theory, set theory, and general topology
Cites Work