Constructive completions of ordered sets, groups and fields

Erik Palmgren. Constructive completions of ordered sets, groups and fields. Annals of Pure and Applied Logic, 135(1-3):243-262, 2005. [doi]

Abstract

Abstract is missing.