Weak systems of set theory related to HOL
- First Online:
- 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
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.
Unable to display preview. Download preview PDF.