Constructive Axiomatic Development for the Real Numbers
This mathematical research was about choosing a set of axioms for the real numbers that exclude the field axioms and then showing that the field structure on the real numbers can be derived. The development was constructive.