Stabilizers, \(\mathbf{NTP}_2\) groups with f-generics, and PRC fields. (English) Zbl 1484.03055
Summary: In this paper, we develop three different subjects. We study and prove alternative versions of Hrushovski’s ‘stabilizer theorem’, we generalize part of the basic theory of definably amenable NIP groups to \(\mathbf{NTP}_2\) theories, and finally, we use all this machinery to study groups with f-generic types definable in bounded pseudo real closed fields.
MSC:
| 03C45 | Classification theory, stability, and related concepts in model theory |
| 03C60 | Model-theoretic algebra |
| 12L12 | Model theory of fields |
References:
| [1] | Barriga, E., Definably compact groups definable in real closed fields. I, ArXiv e-prints, arXiv:1703.08606, March 2017. |
| [2] | Basarav, S. A., The absolute galois group of a pseudo real closed field with finitely many orders, J. Pure Appl. Algebra38 (1985), 1-18. · Zbl 0595.12012 |
| [3] | Baisalov, Y. and Poizat, B., Paires de structures o-minimales, J. Symbolic Logic63(2) (1998), 570-578. · Zbl 0910.03025 |
| [4] | Ben Yaacov, I. and Chernikov, A., An independence theorem for NTP2 theories, J. Symbolic Logic79(1) (2014), 135-153. · Zbl 1337.03043 |
| [5] | Chernikov, A. and Kaplan, I., Forking and dividing in NTP_2 theories, J. Symbolic Logic77(1) (2012), 1-20. · Zbl 1251.03037 |
| [6] | Chernikov, A. and Simon, P., Externally definable sets and dependent pairs, Israel J. Math.194(1) (2013), 409-425. · Zbl 1335.03031 |
| [7] | Chernikov, A. and Simon, P., Definably amenable NIP groups, J. Amer. Math. Soc.31(3) (2018), 609-641. · Zbl 1522.03112 |
| [8] | Hrushovski, E. and Pillay, A., Groups definable in local fields and pseudo-finite fields, Israel J. Math.85(1-3) (1994), 203-262. · Zbl 0804.03024 |
| [9] | Hrushovski, E. and Pillay, A., On NIP and invariant measures, J. Eur. Math. Soc. (JEMS)13 (2011), 1005-1061. · Zbl 1220.03016 |
| [10] | Hrushovski, E., Peterzil, Y. and Pillay, A., Groups, measures, and the NIP, J. Amer. Math. Soc.21(2) (2008), 563-596. · Zbl 1134.03024 |
| [11] | Hrushovski, E., Stable group theory and approximate subgroups, J. Amer. Math. Soc.25(1) (2012), 189-243. · Zbl 1259.03049 |
| [12] | Jarden, M., The algebraic nature of the elementary theory of prc fields, Manuscripta Math.60 (1988), 463-475. · Zbl 0675.12016 |
| [13] | Johnson, W., Forking and dividing in fields with several orderings and valuations, Preprint, 2013. · Zbl 1506.03086 |
| [14] | Macpherson, D., Marker, D. and Steinhorn, C., Weakly o-minimal structures and real closed fields, Trans. Amer. Math. Soc.352(12) (2000), 5435-5483 (electronic). · Zbl 0982.03021 |
| [15] | Montenegro, S., Pseudo real closed fields, pseudo p-adically closed fields and ntp_2, Ann. Pure Appl. Logic168(1) (2017), 191-232. · Zbl 1436.03203 |
| [16] | Prestel, A., Pseudo real closed fields, in Set Theory and Model Theory (Bonn, 1979), , pp. 127-156 (Springer, Berlin-New York, 1981). · Zbl 0466.12018 |
| [17] | Prestel, A. and Ziegler, M., Model-theoretic methods in the theory of topological fields, J. Reine Angew. Math.299(300) (1978), 318-341. · Zbl 0367.12014 |
| [18] | Shelah, S., Dependent first order theories, continued, Israel J. Math.173 (2009), 1-60. · Zbl 1195.03040 |
| [19] | Simon, P., A Guide to NIP Theories, , p. vii+156 (Association for Symbolic Logic, Chicago, IL, 2015). · Zbl 1332.03001 |
| [20] | Van Den Dries, L., Tame Topology and O-minimal Structures, , p. x+180 (Cambridge University Press, Cambridge, 1998). · Zbl 0953.03045 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
