The Dimension Case
- 185 Downloads
We investigate converses to Corollary 25.6. We delineate relations R such that ℂ(R) is the set of solutions to F1(X) = F2(X) where F1, F2 are induced by finitary recursive combinatorial functors F1, F2. The neatest situation is that with strict combinatorial functors, dimension, and models with degree 1.
KeywordsNatural Number Conjunctive Normal Form Assignment Satisfy Suitable Category Universal Sentence
Unable to display preview. Download preview PDF.