pith. sign in

arxiv: 1703.01376 · v4 · pith:J7JHZOWUnew · submitted 2017-03-04 · 🧮 math.LO

Model theoretic dynamics in Galois fashion

classification 🧮 math.LO
keywords modelstheoryclosedeliminationexistentiallyimaginariesmodelsome
0
0 comments X
read the original abstract

We investigate existentially closed models (of a quite arbitrary theory) equipped which an action of a fixed group G. We embed these structures in a monster model D of some well-rounded theory and describe them as PAC substructures of D. Assuming that the class of these existentially closed models is elementary, we show that, under the assumption of having bounded models, its theory is simple and eliminates quantifiers up to some existential formulas - similar to ACFA. Moreover, it codes finite sets and allows a geometric elimination of imaginaries, but not always a weak elimination of imaginaries.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.