“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 8363 |
|
||||
| Abstract: | |||||
|
Every classical first order structure is coded in its diagram
consisting of atomic sentences it satisfies. We study diagrams for
the class of constant domain Kripke models and use it to define
notions of submodel, reduction, expansion and ultraproduct for a
ceratin subclass of it. In particular, we study conditions under
which forcing is preserved by reductions and expansions.
Download TeX format |
|||||
| back to top | |||||
