Gödel’s Algorithm for Class Formation

1. Belinfante, J.G.F.: On a Modification of Gódel’s Algorithm for Class Formation. Association for Automated Reasoning News Letter, No. 34, 10–15 (1996)

   Google Scholar 

2. Belinfante, J.G.F.: On Quaife’s Development of Class Theory. Association for Automated Reasoning Newsletter, No. 37, 5–9 (1997)

   Google Scholar 

3. Belinfante, J.G.F.: Computer Proofs in Gödel’s Class Theory with Equational Definitions for Composite and Cross. Journal of Automated Reasoning 22, 311–339 (1999)

   Article  MATH  MathSciNet  Google Scholar 

4. Belinfante, J.G.F.: On Computer-Assisted Proofs in Ordinal Number Theory. Journal of Automated Reasoning 22, 341–378 (1999)

   Article  MATH  MathSciNet  Google Scholar 

5. Bernays, P.: Axiomatic Set Theory, 1st edn. North Holland Publishing Co., Amsterdam (1958); Second edition: 1968. Republished in 1991 by Dover Publications, New York

   MATH  Google Scholar 

6. Boyer, R., Lusk, E., McCune, W., Overbeek, R., Stickel, M., Wos, L.: Set Theory in First Order Logic: Clauses for Gödel’s Axioms. Journal of Automated Reasoning 2, 287–327 (1986)

   Article  MATH  Google Scholar 

7. Formisano, A., Omodeo, E.G.: An Equational Re-Engineering of Set Theories presented at the FTP 1998. International Workshop on First Order Theorem Proving, November 23-25 (1998)

   Google Scholar 

8. Gödel, K.: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton University Press, Princeton (1940)

   Google Scholar 

9. Isbell, J.R.: A Definition of Ordinal Numbers. The American Mathematical Monthly 67, 51–52 (1960)

   Article  MATH  MathSciNet  Google Scholar 

10. McCune, W.W.: Otter 3.0 Reference Manual and Guide, Argonne National Laboratory Report ANL–94/6, Argonne National Laboratory, Argonne, IL (January 1994)

    Google Scholar 

11. Megill, N.D.: Metamath: A Computer Language for Pure Mathematics 1997

    Google Scholar 

12. Noël, P.A.J.: Experimenting with Isabelle in ZF set theory. Journal of Automated Reasoning 10, 15–58 (1993)

    Article  MATH  MathSciNet  Google Scholar 

13. Paulson, L.C., Grąbczewski, K.: Mechanizing Set Theory. Journal of Automated Reasoning 17, 291–323 (1996)

    Article  MATH  MathSciNet  Google Scholar 

14. Quaife, A.: Automated Deduction in von Neumann-Bernays-Gödel Set Theory. Journal of Automated Reasoning 8, 91–147 (1992)

    Article  MATH  MathSciNet  Google Scholar 

15. Quaife, A.: Automated Development of Fundamental Mathematical Theories, Ph.D. thesis. Univ. of California at Berkeley. Kluwer Acad. Publishers, Dordrecht (1992)

    Google Scholar 

16. Tarski, A., Givant, S.: A Formalization of Set Theory without Variables, vol. 41. American Mathematical Society Colloquium Publications, Providence, Rhode Island (1987)

    MATH  Google Scholar 

17. Wos, L.: Automated Reasoning: 33 Basic Research Problems. Prentice Hall, Englewood Cliffs (1988)

    Google Scholar 

18. Wos, L.: The problem of finding an inference rule for set theory. Journal of Automated Reasoning 5, 93–95 (1989)

    MATH  MathSciNet  Google Scholar 

19. Wos, L., Overbeek, R., Lusk, E., Boyle, J.: Automated Reasoning: Introduction and Applications, 2nd edn. McGraw Hill, New York (1992)

    MATH  Google Scholar 

20. Wolfram, S.: The Mathematica ^TM Book. Wolfram Media Inc., Champaign, Illinois (1996)

    MATH  Google Scholar 

Download references