Totally real origami and impossible paper folding
  This paper gives one set of axioms for origami constructions, and describes the set of constructible points under these axioms. The determination of the set of cunstructible points for this particular set of axioms is related to Hilbert's 17 th problem. 
David Auckly and John Cleveland