Tarski's axiomatization of the reals

This page lists the items of the Wikipedia article Tarski's axiomatization of the reals in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1292526711, with the assessment Start/Low.

Outcome	Items
deferred	13

The gap signals of the article are S1,S5,S6,S8,S9.

Item	Kind	Name	Outcome	Reason
subject	definition	Tarski's axiomatization of the reals	deferred until 2027-05-01	the item has the flag informal (WP9.2)
#37X3	statement	Axioms of order (primitives: R, <)	deferred until 2027-05-01	the heading names more than one item
#5R3F	statement	Axioms for 1 (primitives: R, <, +, 1)	deferred until 2027-05-01	the heading names more than one item
#66CO	statement	Axioms of addition (primitives: R, <, +)	deferred until 2027-05-01	the heading names more than one item
#ACBK	statement	Axiom 7	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#DW7S	statement	Axiom 4	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#HFSS	statement	Axiom 1	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#MVI1	statement	Axiom 6	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#PKHM	statement	Axiom 3	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#W1KF	statement	The axioms	deferred until 2027-05-01	the heading names a group of items
#WO24	statement	Axiom 8	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#XPO6	statement	Axiom 5	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#Y0ED	statement	Axiom 2	deferred until 2027-05-01	the item has no name of its own, and the write role names it

Refer to Wikipedia articles and their nodes for the other articles.