The primal framework. II. Smoothness
John T. Baldwin, Saharon Shelah
Abstract
This is the second in a series of articles developing abstract classification theory for classes that have a notion of prime models over independent pairs and over chains. It deals with the problem of smoothness and establishing the existence and uniqueness of a `monster model'. We work here with a predicate for a canonically prime model.
Create a lesson
Related papers
On the foundations of logic and probability, I. Modal sentential calculi
Loic Cosyns
Compactness via Consistency Properties
Edgar Valenzuela
Fine Selection for Intuitionistic Modal Logic
David Fernández-Duque
Asymptotic dimension of commutative monoid actions
Jinmin Wang, Jing Yu, Jingming Zhu
Pointwise provable equality and the failure of composition
Florian Lengyel
Compactness beyond choice and HOD
Jonathan Osinski