An irrational construction of ℝ from ℤ

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2152, Issue , 2001, Pages 43-58

  Arthan, Rob D ^a  

^a Lemma 1 Ltd   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

ALGEBRAIC NUMBERS; RATIONAL NUMBERS; REAL NUMBER;

THEOREM PROVING;

EID: 84880203668     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44755-5_5     Document Type: Conference Paper

References (15)

1. R.D. Arthan. A Report on ICL HOL. In Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, and Philip J. Windley, editors, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications. IEEE Computer Society Press, 1992.
2. F.A. Behrend. A Contribution to the Theory of Magnitudes and the Foundations of Analysis. Mathematische Zeitschrift, 63:345–362, 1956.
3. John H. Conway. On Numbers and Games. A.K. Peters Ltd., Second edition, 2001.
4. B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990.
5. H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J. Neukirch, A. Prestel, and R. Remmert. Numbers. Springer-Verlag, 1990.
6. F. Faltin, N. Metropolis, B. Ross, and G.-C. Rota. The Real Numbers as a Wreath Product. Advances in Mathematics, 16, 1975.
7. Michael J.C. Gordon and Tom F. Melham, editors. Introduction to HOL. Cambridge University Press, 1993.
8. John Harrison. Theorem Proving with the Real Numbers. Technical report, University of Cambridge Computer Laboratory, 1996.
9. O. Hölder. Die Axiome der Quantität und die Lehre vom Mass. Ber. Verh. Kon. Sch. Ges. Wiss., pages 1–64, 1901.
10. R.B. Jones. Methods and Tools for the Verification of Critical Properties. In R.Shaw, editor, 5th Refinement Workshop, Workshops in Computing. Springer- Verlag/BCS-FACS, 1992.
11. E. Kamke. Mengenlehre. Berlin, 1928. Reprinted by Dover in an English translation by F. Bagemihl as Theory of Sets. 1950.
12. D.J. King and R.D. Arthan. Development of Practical Verification Tools. Ingenuity — the ICL Technical Journal, 1996.
13. Saunders MacLane and Garrett Birkhoff. Algebra. AMS Chelsea Publishing, Third edition, 1999.
14. Walter Rudin. Principles of Mathematical Analysis. McGraw-Hill Book Company, 1974.
15. C. T. Sennett. Demonstrating the Compliance of Ada Programs with Z Specifications. In R.Shaw, editor, 5th Refinement Workshop, Workshops in Computing. Springer-Verlag/BCS-FACS, 1992.