Dependent T and existence of limit models

Abstract

Does the class of linear orders have (one of the variants of) the so called (lambda, kappa)-limit model? It is necessarily unique, and naturally assuming some instances of G.C.H. we get some positive, i.e. existence results. More generally, letting T be a complete first order theory and for simplicity assume G.C.H., for regular lambda > kappa > |T| does T have (variants of) a (lambda,kappa)-limit models, except for stable T? For some, yes, the theory of dense linear order, for some, no. Moreover, for independent T we get negative, i.e. non-existence results. We deal more with linear orders.

0

Turn this paper into a full lesson

ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…