论文信息 - On pp elimination and stability in a continuous setting

On pp elimination and stability in a continuous setting

We generalize “pp-elimination” for modules, or more generally, abelian structures, to a continuous logic setting where the abelian structure is equipped with a homomorphism to a compact (Hausdorff) group. We conclude that the continuous logic theory of such a struc-

Anand Pillay | Nicolas Chavarria Gomez

[1] Alexander Usvyatsov,et al. CONTINUOUS FIRST ORDER LOGIC AND LOCAL STABILITY , 2008, 0801.4303.

[2] Hans B. Gute,et al. The Last Word on Elimination of Quantifiers in Modules , 1990, J. Symb. Log..

[3] Ax’s theorem with an additive character , 2019, EMS Surveys in Mathematical Sciences.

[4] H. Jerome Keisler,et al. Continuous Model Theory , 1966 .

[5] A. Pillay. Geometric Stability Theory , 1996 .

[6] Ehud Hrushovski,et al. Simplicity and the Lascar group , 1998 .

[7] J. J. Lee. ULTRAPRODUCTS IN ANALYSIS , 2002 .

[8] Martin Ziegler,et al. Model theory of modules , 1984, Ann. Pure Appl. Log..

[10] T. G. Kucera. Stability theory for topological logic, with applications to topological modules , 1986, Journal of Symbolic Logic.

[11] M. Prest. Model theory and modules , 1988 .

[12] Jörg Flum,et al. Topological Model Theory , 1980 .

[13] Itay Ben-Yaacov,et al. Positive Model Theory and Compact Abstract Theories , 2003, J. Math. Log..