Advertisement

Satisfiability

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

Abstract

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.

Keywords

Initial Segment Infinite Sequence Diophantine Equation Compactness Theorem Chain Type 
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