1. Avigad, J., Dean, E., Mumma, J.: A formal system for Euclid’s elements. Rev. Symb. Log. 2(4), 700–768 (2009)
2. Alperin, R.C.: A mathematical theory of origami constructions and numbers. New York J. Math. 6(119), 133 (2000)
3. Interscience Tracts in Pure and Applied Mathematics;E Artin,1957
4. Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, New York (1998).
https://doi.org/10.1007/978-1-4612-0701-6
5. Beeson, M.: Some undecidable field theories. Translation of [Zie82].
www.michaelbeeson.com/research/papers/Ziegler.pdf