MODEL THEORY FOR INTUITIONISTIC LOGIC I,

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)

Document Details

Document Type
Technical Report
Publication Date
May 01, 1969
Accession Number
AD0693636

Entities

People

  • Dov M. Gabbay

Organizations

  • Hebrew University of Jerusalem

Tags

DTIC Thesaurus Topics

  • Calculus
  • Consistency
  • Mathematics
  • Model Theory
  • Theorems

Fields of Study

  • Mathematics

Readers

  • Mathematical Modeling and Probability Theory.