Model companions of theories with an automorphism (Q4527921): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Created claim: MaRDI profile type (P1460): MaRDI publication profile (Q5976449), #quickstatements; #temporary_batch_1710334759334 |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 15:24, 13 March 2024
scientific article; zbMATH DE number 1558182
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model companions of theories with an automorphism |
scientific article; zbMATH DE number 1558182 |
Statements
Model companions of theories with an automorphism (English)
0 references
28 August 2001
0 references
theories with an automorphism
0 references
model complete theory
0 references
model companion
0 references
independence property
0 references
amalgamation property
0 references
finite cover property
0 references
