Model companions of theories with an automorphism
| dc.creator | Kikyo, Hirotaka | |
| dc.date | 1998-09-30 | |
| dc.date.accessioned | 2026-07-07T05:26:14Z | |
| dc.date.available | 2026-07-07T05:26:14Z | |
| dc.description | For a theory $T$ in $L, T_σ$ is the theory of the models of $T$ with an automorphism $σ$. If $T$ is an unstable model complete theory without the independence property, then $T_σ$ has no model companion. If $T$ is an unstable model complete theory and $T_σ$ has the amalgamation property, then $T_σ$ has no model companion. If $T$ is model complete and has the fcp, then $T_σ$ has no model completion. | |
| dc.identifier | https://arxiv.org/abs/math/9809191 | |
| dc.identifier | http://arxiv.org/abs/math/9809191 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/77477 | |
| dc.subject | Logic | |
| dc.title | Model companions of theories with an automorphism | |
| dc.type | text |