Conference abstracts

Session S09 - Logic and Universal Algebra

July 25, 16:00 ~ 16:25

Model theoretic properties of pseudo real closed fields.

Samaria Montenegro

Universidad de los Andes/Universidad de Costa Rica, Costa Rica   -

In this talk we will study the class of pseudo real closed fields (PRC-fields) from a model theoretical point of view. PRC-fields are a generalization of real closed fields and pseudo algebraically closed fields, where we admit having several orders. Prestel showed that the theory of PRC-fields can be axiomatized in the language of rings. We will explain some of the principal model-theoretic results of this theory, for example the form of the definable sets, the model-theoretic definable and algebraic closure, amalgamation of types and some new results obtained with Alf Onshuus and Pierre Simon about the definable groups.

View abstract PDF