We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

NTP_2 groups with f-generics and PRC fields

Formal Metadata

Title
NTP_2 groups with f-generics and PRC fields
Title of Series
Number of Parts
22
Author
Contributors
License
CC Attribution - NonCommercial - NoDerivatives 4.0 International:
You are free to use, copy, distribute and transmit the work or content in unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
In this talk we focus on groups with f-generic types definable in NTP2 theories. In particular we study the case of bounded PRC fields. PRC fields were introduced by Prestel and Basarav as a generalization of real closed fields and pseudo algebraically closed fields, where we admit having several orders. We know that the complete theory of a bounded PRC field is NTP2 and we have a good description of forking. We use some alternative versions of Hrushovski’s “Stabilizer Theorem” to describe the definable groups with f generics in PRC fields. The main theorem is that such a group is isogeneous with a finite index subgroup of a quantifier-free definable groups. In fact, the latter group admits a definable covering by multi-cells on which the group operation is algebraic. This generalizes similar results proved by Hrushovski and Pillay for (not necessarily f-generic) groups definable in both pseudo finite fields and real closed fields.