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
Stalnaker's logical problem of conditionals is unsolvable
Alexander W. Kocurek, James Walsh, Yale Weiss
Strong completeness of the logic J
Juan P. Aguilera, Grigorii Stepanov
Lévy-Montague reflection is Π11-conservative over WKL0
Fedor Pakhomov
Contact relations on bounded distributive lattices and related structures
Ivo Düntsch, Rafał Gruszczyński
Embeddings of Propositional Logics into the Provability Logics S and D
Mashu Noguchi
Some results on NIP groups and their Ellis groups
Atticus Stonestrom