From Counting Numbers to Complete Ordered Fields: Set-Theoretic Construction of (Paperback) (ISBN-13: 9781975629878)

This paper present set-theoretic construction of number sets beginning with von Neumann definition of Natural numbers. Integers are defined in terms of Natural numbers. The set of integers Z is defined to be the set of equivalence classes of ordered pairs (x, y) where x, y are Natural numbers. Integers form a Commutative Ring with Unity. The set of Rational numbers Q is defined to be the set of equivalence classes of ordered pairs (x, y) where x, y are Integers. Rational Numbers form a Field. Rational and Irrational numbers. Dedekind cut. Real numbers form Complete Ordered Field. Further topics include Countable and Uncountable sets, Finite and Infinite sets, the sizes of Infinities, Countable Rational and Uncountable Real numbers, Power Set, Cantor's theorem, Cantor's Paradox, Russell's paradox, Zermelo axioms for set theory, Essentials of Axiomatic method, Continuum Hypotheses, Unlimited Abstraction Principle and Separation Principle, Undecidability of Continuum Hypotheses in Zermelo-Fraenkel system, objections to Zermelo system, and other topics. The paper is aimed at Mathematics and Theoretical Computer Science students.

Author: Samuel Horelick
ISBN-10: 1975629876
ISBN-13: 9781975629878
Publisher: Createspace Independent Publishing Platform
Language: English
Published: 08/20/2017
Pages: 34
Format: Paperback
Weight: 0.13lbs
Size: 9.02h x 5.98w x 0.07d