Tarski's high school algebra problem

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:asksWhether the set of identities true in all real numbers and provable from the axioms of high school algebra is complete
gptkbp:concerns gptkb:first-order_logic
elementary algebra
gptkbp:field gptkb:algebra
gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label Tarski's high school algebra problem
gptkbp:namedAfter gptkb:Alfred_Tarski
gptkbp:posedBy gptkb:Alfred_Tarski
gptkbp:posedIn 1940s
gptkbp:relatedTo real closed fields
equational logic
elementary theory of real numbers
gptkbp:result negative
gptkbp:solvedBy gptkb:Alex_Wilkie
1980
gptkbp:bfsParent gptkb:Universal_algebra
gptkbp:bfsLayer 5