For faster navigation, this Iframe is preloading the Wikiwand page for Tarski's axiomatization of the reals.

Tarski's axiomatization of the reals

In 1936, Alfred Tarski gave an axiomatization of the real numbers and their arithmetic, consisting of only the eight axioms shown below and a mere four primitive notions:[1] the set of reals denoted R, a binary relation over R, denoted by infix <, a binary operation of addition over R, denoted by infix +, and the constant 1.

Tarski's axiomatization, which is a second-order theory, can be seen as a version of the more usual definition of real numbers as the unique Dedekind-complete ordered field; it is however made much more concise by avoiding multiplication altogether and using unorthodox variants of standard algebraic axioms and other subtle tricks. Tarski did not supply a proof that his axioms are sufficient or a definition for the multiplication of real numbers in his system.

Tarski also studied the first-order theory of the structure (R, +, ·, <), leading to a set of axioms for this theory and to the concept of real closed fields.

The axioms

[edit]

Axioms of order (primitives: R, <)

[edit]
Axiom 1
If x < y, then not y < x.
[That is, "<" is an asymmetric relation. This implies that "<" is irreflexive, i.e., for all x, not x < x.]
Axiom 2
If x < z, there exists a y such that x < y and y < z.
Axiom 3
For all subsets XY ⊆ R, if for all x ∈ X and y ∈ Y, x < y, then there exists a z such that for all x ∈ X and y ∈ Y, if x ≠ z and y ≠ z, then x < z and z < y.
[In other words, "<" is Dedekind-complete, or informally: "If a set of reals X precedes another set of reals Y, then there exists at least one real number z separating the two sets."
This is a second-order axiom as it refers to sets and not just elements.]

Axioms of addition (primitives: R, <, +)

[edit]
Axiom 4
x + (y + z) = (x + z) + y.
[Note that this is an unorthodox mixture of associativity and commutativity.]
Axiom 5
For all x, y, there exists a z such that x + z = y.
[This allows subtraction and also gives a 0.]
Axiom 6
If x + y < z + w, then x < z or y < w.
[This is the contrapositive of a standard axiom for ordered groups.]

Axioms for 1 (primitives: R, <, +, 1)

[edit]
Axiom 7
1 ∈ R.
Axiom 8
1 < 1 + 1.

Discussion

[edit]

Tarski stated, without proof, that these axioms turn the relation < into a total ordering. The missing component was supplied in 2008 by Stefanie Ucsnay.[2]

The axioms then imply that R is a linearly ordered abelian group under addition with distinguished positive element 1, and that this group is Dedekind-complete, divisible, and Archimedean.

Tarski never proved that these axioms and primitives imply the existence of a binary operation called multiplication that has the expected properties, so that R becomes a complete ordered field under addition and multiplication. It is possible to define this multiplication operation by considering certain order-preserving homomorphisms of the ordered group (R,+,<).[3]

References

[edit]
  1. ^ Tarski, Alfred (24 March 1994). Introduction to Logic and to the Methodology of Deductive Sciences (4 ed.). Oxford University Press. ISBN 978-0-19-504472-0.
  2. ^ Ucsnay, Stefanie (Jan 2008). "A Note on Tarski's Note". The American Mathematical Monthly. 115 (1): 66–68. JSTOR 27642393.
  3. ^ Arthan, Rob D. (2001). "An Irrational Construction of ℝ from ℤ" (PDF). Theorem Proving in Higher Order Logics. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer: 43–58. doi:10.1007/3-540-44755-5_5. Section 4
{{bottomLinkPreText}} {{bottomLinkText}}
Tarski's axiomatization of the reals
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?