PAC structures as invariants of finite group actions
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866909790729404416 |
|---|---|
| author | Hoffmann, Daniel Max Kowalski, Piotr |
| author_facet | Hoffmann, Daniel Max Kowalski, Piotr |
| contents | We study model theory of actions of finite groups on substructures of a stable structure. We give an abstract description of existentially closed actions as above in terms of invariants and PAC structures. We show that if the corresponding PAC property is first order, then the theory of such actions has a model companion. Then, we analyze some particular theories of interest (mostly various theories of fields of positive characteristic) and show that in all the cases considered the PAC property is first order. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2301_11671 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | PAC structures as invariants of finite group actions Hoffmann, Daniel Max Kowalski, Piotr Logic Primary: 03C60, 03C45, Secondary: 12H10 We study model theory of actions of finite groups on substructures of a stable structure. We give an abstract description of existentially closed actions as above in terms of invariants and PAC structures. We show that if the corresponding PAC property is first order, then the theory of such actions has a model companion. Then, we analyze some particular theories of interest (mostly various theories of fields of positive characteristic) and show that in all the cases considered the PAC property is first order. |
| title | PAC structures as invariants of finite group actions |
| topic | Logic Primary: 03C60, 03C45, Secondary: 12H10 |
| url | https://arxiv.org/abs/2301.11671 |