Weak systems of set theory related to HOL

  • Thomas Forster
Invited Paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 859)


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.

Unable to display preview. Download preview PDF.


  1. Barwise, J. [1975] Admissible sets and structures, an approach to definablity theory. Springer-Verlag 1975.Google Scholar
  2. Buchholz, W. and Wainer S. [1985] Provably computable functions and the fast-growing hierarchy. Logic and Combinatorics, AMS Contemporary Mathematics v 65 pp 179–198.Google Scholar
  3. Church, A. [1940] A formulation of the simple theory of types. Journal of Symbolic Logic 5 pp. 56–68.Google Scholar
  4. Coret, J. [1970] Sur les cas stratifiés du schema de remplacement. Comptes Rendues hebdomadaires des séances de l'Académie des Sciences de Paris série A 271 pp. 57–60.Google Scholar
  5. Forster, T.E. [1989] A second-order theory without a (second-order) model. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 35 pp. 285–6Google Scholar
  6. Forster, T.E. and Kaye, R.W. [1991] End-extensions preserving power set. Journal of Symbolic Logic 56 pp. 323–28.Google Scholar
  7. Forster, T.E. and Kaye, R.W. [2???] More on the set theory KF. unpublished typescript 24pp.Google Scholar
  8. Holmes, M.R. [1995] The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more) Journal of Symbolic Logic to appear Google Scholar
  9. Jensen, R.B. [1969] On the consistency of a slight(?) modification of Quine's NF. Synthese 19 pp. 250–63.Google Scholar
  10. Kaye, R.W. [1991] A generalisation of Specker's theorem on typical ambiguity. Journal of Symbolic Logic 56 pp 458–466Google Scholar
  11. Kemeny, J. [1949] Type theory vs. Set theory. Ph.D.Thesis, Princeton 1949Google Scholar
  12. Lake, J. [1975] Comparing Type theory and Set theory. Zeitschrift für Matematischer Logik 21 pp 355–6.Google Scholar
  13. Levy, A. [1965] A hierarchy of formulæ in set theory. Memoirs of the American Mathematical Society no 57, 1965.Google Scholar
  14. Mathias, A.R.D. [2???] Notes on MacLane Set Theory. unpublished typescript.Google Scholar
  15. McNaughton, R. [1953] Some formal relative consistency proofs. Journal of Symbolic Logic 18 pp. 136–44.Google Scholar
  16. Mostowski, A. [1950] Some impredicative definitions in the axiomatic set theory. Fundamenta Mathematicæ v 37 pp 111–124.Google Scholar
  17. Novak, I.L. [1950] A construction of models for consistent systems. Fundamenta Mathematicæ 37 pp 87–110Google Scholar
  18. Quine, W.v.O. [1951] Mathematical Logic. (2nd ed.) Harvard.Google Scholar
  19. Quine, W.v.O [1966] On a application of Tarski's definition of Truth. in Selected Logic Papers pp 141–5Google Scholar
  20. Rosser, J.B. and Wang, H. [1950] Non-standard models for formal logics JSL 15 pp 113–129Google Scholar
  21. Scott, D. S. [1960] Review of Specker [1958]. Mathematical Reviews 21 p. 1026.Google Scholar
  22. Shoenfield, J. R. [1954] A relative consistency proof Journal of Symbolic Logic 19 pp 21–28Google Scholar
  23. Specker, E. P. [1958] Dualität. Dialectica 12 pp. 451–465.Google Scholar
  24. Specker, E. P. [1962] Typical ambiguity. In Logic, methodology and philosophy of science. Ed E. Nagel, Stanford.Google Scholar
  25. Wang, H. [1949] On Zermelo's and Von Neumann's axioms for set theory. Proc. N. A. S. 35 pp 150–155Google Scholar
  26. Wang, H. [1952] Truth definitions and consistency proofs. Transactions of the American Mathematical Society 72 pp. 243–75. reprinted in Wang: Survey of Mathematical Logic as ch 18Google Scholar
  27. Wang, H. [1952a] Negative types. MIND 61 pp. 366–8.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

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

Personalised recommendations