Graph-like Distributions and Types in Ultrapowers
From MaRDI portal
Abstract: We study types that appear in ultraproducts that have distributions which can be thought of as a sequence of graphs. The property of having distributions that are captured by graphs is motivated by a commonality of -types and types corresponding to pre-cuts in ultrapowers of linear orders. Through this study, we come to a simple set-theoretic description of the distributions for these types and to a new description of good ultrafilters in terms of the difference between "small" external complete subgraphs and internal complete subgraphs in ultraproducts of particular families of finite graphs arising from the comparability relation on the complete binary tree or the intersection of intervals in an infinite linear order.
This page was built for publication: Graph-like Distributions and Types in Ultrapowers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6353479)
