Accession Number : AD0693636

Title :   MODEL THEORY FOR INTUITIONISTIC LOGIC I,

Corporate Author : HEBREW UNIV JERUSALEM (ISRAEL) APPLIED LOGIC BRANCH

Personal Author(s) : Gabbay,Dov M.

Report Date : MAY 1969

Pagination or Media Count : 22

Abstract : Ultraproducts for Kripke predicate calculus are defined, and the usual properties are proved up to the application of the proof of the compactness theorem. It is also proved that, given any two elementarily equivalent structures, one is embeddable in an ultrapower of the other. The general form of Robinson's consistency theorem is refuted. (Author)

Descriptors :   (*MATHEMATICAL LOGIC, *MODEL THEORY), SEMANTICS, COMPUTATIONAL LINGUISTICS, SET THEORY, THEOREMS, ISRAEL

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE