Weak systems of set theory related to HOL

  • Thomas Forster
Invited Paper

DOI: 10.1007/3-540-58450-1_43

Part of the Lecture Notes in Computer Science book series (LNCS, volume 859)
Cite this paper as:
Forster T. (1994) Weak systems of set theory related to HOL. In: Melham T.F., Camilleri J. (eds) Higher Order Logic Theorem Proving and Its Applications. Lecture Notes in Computer Science, vol 859. Springer, Berlin, Heidelberg

Abstract

This is an early version of a survey article designed for the interested non-specialist, and it does not contain any proofs of novel results, though it does contain announcements (of novel unpublished results) and proofs (of frequently underregarded trivialities). For the reader who wishes to take this material further, the chief advantage of this essay will be the bibliography, which would be quite hard for a naïve reader to assemble from scratch. I would like to thank my friend and colleague Juanito Camilleri for the invitation which led to me writing this.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • Thomas Forster
    • 1
  1. 1.D.P.M.M.S.University of CambridgeUK

Personalised recommendations