“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 7333 |
|
| Abstract: | |
|
In this paper, some basic properties of automorphisms of first
order languages and some examples are presented. In particular, an
omitting types theorem is proved.
Download TeX format |
|
| back to top | |
