
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