“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 7905 | ||||||||||||||||||
|
||||||||||||||||||
| Abstract: | ||||||||||||||||||
|
We prove some preservation theorems concerning inductive and model-complete theories in the framework of semi-classical logic introduced in [1].
Download TeX format |
||||||||||||||||||
| back to top | ||||||||||||||||||
