Skip to main content

An Independent Axiom System for the Real Numbers

Buy Article:

$12.00 plus tax (Refund Policy)

We give an irredundant axiomatization of the complete ordered field of real numbers. In particular, we show that all the field axioms for multiplication with the exception of the distributive property may be deduced as theorems in our system. We also provide a complete proof that the axioms we have chosen are independent.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Data/Media
No Metrics

Document Type: Research Article

Publication date: 2009-03-01

More about this publication?
  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more