Hostname: page-component-745bb68f8f-hvd4g Total loading time: 0 Render date: 2025-01-12T21:25:04.586Z Has data issue: false hasContentIssue false
  • English
  • Français

Outline of an Introduction to Mathematical Logic IV

Published online by Cambridge University Press:  20 November 2018

Abraham Robinson
Abraham Robinson*
Affiliation:
Hebrew UniversityJerusalemIsrael
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The extended completeness theorem of the predicate calculas of the first order. In section 12, we developed a deductive theory of the first order predicate calculus, while in section II we dealt with the semantic theory of that calculus. We now have to consider the connection between these two theories. We recall that a sentence X can be satisfied by a structure M only if X is defined in M. Given a sentence X (a set of sentences K) we shall say that the structure M is a model of X (of K) if X is (all the sentences of K are) satisfied by M.

Type
Research Article
Information
Canadian Mathematical Bulletin , Volume 2 , Issue 1 , 01 January 1959 , pp. 33 - 42
Copyright
Copyright © Canadian Mathematical Society 1959

Footnotes

*

Errata for part UI, Can. Math. Bull. 1(1958), 193–208. pg. 198, line 2 from below, for "prime" read "atomic", pg. 200, line 3 from below, for "in X" read "in X or Y".

References

* Errata for part UI, Can. Math. Bull. 1(1958), 193–208. pg. 198, line 2 from below, for "prime" read "atomic", pg. 200, line 3 from below, for "in X" read "in X or Y".