Advertisement

The Dimension Case

Chapter
  • 185 Downloads
Part of the Ergebnisse der Mathematik und ihrer Grenzgebiete book series (MATHE2, volume 81)

Abstract

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.

Keywords

Natural Number Conjunctive Normal Form Assignment Satisfy Suitable Category Universal Sentence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  1. 1.Monash UniversityMelbourneAustralia
  2. 2.Cornell UniversityIthacaUSA

Personalised recommendations