On Statman's Finite Completeness Theorem

Abstract

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the Lambda- definability conjecture implies the higher-order matching conjecture.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1992
Accession Number
ADA256233

Entities

People

  • Gilles Dowek
  • Richard Statman

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Buildings And Structures
  • Calculus
  • Computer Science
  • Equations
  • Model Theory
  • Models
  • Notation
  • Standards
  • Theorems

Fields of Study

  • Mathematics

Readers

  • Mathematical Modeling and Probability Theory.