実数代数の性質を記述する幾何学的理論 - 符号テストや選択公理を必要としない

本論文では、依存的選択公理を必要とせずに、実数体の代数的性質を可能な限り完全に記述する動的理論を構築することを目指す。