Abstract
We find a strong separation between two natural families of simple rank one theories in Keisler's order: the theories Tm reflecting graph sequences, which witness that Keisler's order has the maximum number of classes, and the theories Tn,k, which are the higher-order analogues of the triangle-free random graph. The proof involves building Boolean algebras and ultrafilters “by hand” to satisfy certain model theoretically meaningful chain conditions. This may be seen as advancing a line of work going back through Kunen's construction of good ultrafilters in ZFC using families of independent functions. We conclude with a theorem on flexible ultrafilters, and open questions.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
