Imaginaries in bounded pseudo real closed fields

Abstract

The main result of this paper is that if M is a bounded PRC field then Th(M) eliminates imaginaries in the language of rings expanded by constant symbols.

0

Turn this paper into a lesson

ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…