Higher Order Logic Theorem Proving and Its Applications
Volume 859 of the series Lecture Notes in Computer Science pp 193204
Weak systems of set theory related to HOL
 Thomas ForsterAffiliated withD.P.M.M.S., University of Cambridge
Abstract
This is an early version of a survey article designed for the interested nonspecialist, 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.
 Title
 Weak systems of set theory related to HOL
 Book Title
 Higher Order Logic Theorem Proving and Its Applications
 Book Subtitle
 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
 Pages
 pp 193204
 Copyright
 1994
 DOI
 10.1007/3540584501_43
 Print ISBN
 9783540584506
 Online ISBN
 9783540488033
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 859
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 SpringerVerlag
 Additional Links
 Topics
 Industry Sectors
 eBook Packages
 Editors
 Authors

 Thomas Forster ^{(1)}
 Author Affiliations

 1. D.P.M.M.S., University of Cambridge, UK
Continue reading...
To view the rest of this content please follow the download PDF link above.