On computer-assisted proofs in ordinal number theory

Journal of Automated Reasoning

Volumn 22, Issue 3, 1999, Pages 341-378

  Belinfante, Johan G F ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; NUMBER THEORY; THEOREM PROVING;

ISBELL ORDINAL NUMBER THEORY; SOFTWARE PACKAGE OTTER;

KNOWLEDGE BASED SYSTEMS;

EID: 0033086179     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1006010913494     Document Type: Article

References (12)

1. Belinfante, J.: On a modification of Gödel's algorithm for class formation, Association for Automated Reasoning Newsletter 34 (1996), 10-15.
2. Belinfante, J.: On Quaife's development of class theory, Association for Automated Reasoning Newsletter 37 (1997), 5-9.
3. Boyer, R., Lusk, E., McCune, W., Overbeek, R., Stickel, M., and Wos, L.: Set theory in first order logic: Clauses for Gödel's axioms, J. Automated Reasoning 2 (1986), 287-327.
4. Gödel, K.: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis, Princeton University Press, Princeton, 1940.
5. Isbell, J. R.: A definition of ordinal numbers, Amer. Math. Monthly 67 (1960), 51-52.
6. McCune, W. W.: Otter 3.0 reference manual and guide, Argonne National Laboratory Report ANL-94/6, Argonne National Laboratory, Argonne, IL, January 1994.
7. Mendelson, E.: Introduction to Mathematical Logic, 3rd edn, Wadsworth and Brooks/Cole, Monterey, CA, 1987.
8. Quaife, A.: Automated deduction in von Neumann-Bernays-Gödel set theory, J. Automated Reasoning 8 (1992), 91-147.
9. Quaife, A.: Automated Development of Fundamental Mathematical Theories, Ph.D. Thesis, University of California at Berkeley, Kluwer Academic Publishers, Dordrecht, the Netherlands, 1992.
10. Rubin, J. E.: Set Theory for the Mathematician, Holden-Day, San Francisco, 1967.
11. Wolfram, S.: Mathematica™, A System for Doing Mathematics by Computer, 2nd edn, Addison-Wesley, New York, 1991.
12. Wos, L.: Automated Reasoning: 33 Basic Research Problems, Prentice-Hall, Englewood Cliffs, NJ, 1988.