Geodesic
Outline of an Introduction to Mathematical Logic IV
Canadian mathematical bulletin, Tome 2 (1959) no. 1, pp. 33-42

Voir la notice de l'article provenant de la source Cambridge

DOI

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. 
Robinson, Abraham. Outline of an Introduction to Mathematical Logic IV. Canadian mathematical bulletin, Tome 2 (1959) no. 1, pp. 33-42. doi: 10.4153/CMB-1959-008-2
@article{10_4153_CMB_1959_008_2,
     author = {Robinson, Abraham},
     title = {Outline of an {Introduction} to {Mathematical} {Logic} {IV}},
     journal = {Canadian mathematical bulletin},
     pages = {33--42},
     year = {1959},
     volume = {2},
     number = {1},
     doi = {10.4153/CMB-1959-008-2},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1959-008-2/}
}
TY  - JOUR
AU  - Robinson, Abraham
TI  - Outline of an Introduction to Mathematical Logic IV
JO  - Canadian mathematical bulletin
PY  - 1959
SP  - 33
EP  - 42
VL  - 2
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1959-008-2/
DO  - 10.4153/CMB-1959-008-2
ID  - 10_4153_CMB_1959_008_2
ER  - 
%0 Journal Article
%A Robinson, Abraham
%T Outline of an Introduction to Mathematical Logic IV
%J Canadian mathematical bulletin
%D 1959
%P 33-42
%V 2
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1959-008-2/
%R 10.4153/CMB-1959-008-2
%F 10_4153_CMB_1959_008_2

Cité par Sources :