“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 7906 | ||||||||||||||||||
|
||||||||||||||||||
| Abstract: | ||||||||||||||||||
|
We Study a class of Kripke models over which a naturally defined embedding relation behaves well. After proving a completeness theorem, we generalize some usual classical theorems of model theory into this framework. As an application, we give examples of non-classical ω-categorical theories which admit quantifier elimination.
Download TeX format |
||||||||||||||||||
| back to top | ||||||||||||||||||
