A Model Complete Theory of Valued D-Fields

Thomas Scanlon. A Model Complete Theory of Valued D-Fields. Journal of Symbolic Logic, 65(4):1758-1784, 2000.

Abstract

Abstract is missing.