Abstract
The logicL(I) is introduced. Compactness and Lowenheim-Skolem theorems for topological models are proved. Several axiomatizations are given and proved to be complete. Interpolation- and preservation theorems are proved using consistency properties. A Back and Forth criterion for elementary equivalence is proved. Most of the results are extended (appropriately) to infinitary logic.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have