- 185 Downloads
In this last part our aim is a strong simultaneous satisfiability criterion for relations on chain types. We make no special assumption on the categories involved other than the basic one that they arise from fully effective ℵ0-categorical models as suitable categories.
KeywordsInitial Segment Infinite Sequence Diophantine Equation Compactness Theorem Chain Type
Unable to display preview. Download preview PDF.