β Scribed by Maaret Karttunen
No coin nor oath required. For personal study only.
This is a short description of the doctoral dissertation of Maaret Karttunen under the supervision of Prof. Jouko Vaananen.
Introduction
The languages N and M
1.1. The syntax of N and M
1.2. The semantics of N and M
1.3. The expressive power of N and M
1.4. Determinacy of the semantical games
Model theoretical results
2.1. The downward Lowenheim-Skolem theorem
2.2. Los's theorem
2.3. Compactness properties
Tree-like partial isomorphisms and N-equivalence
3.1. Tree-like partial isomorphisms
3.2. Constituents in N
3.3. Characterizing N-equivalence
3.4. M-equivalence
3.5. Preservation of tree-like partial isomorphisms
3.6. Strengthening elementary equivalence
References
π SIMILAR VOLUMES
This is a short description of the doctoral dissertation of Maaret Karttunen under the supervision of Prof. Jouko Vaananen.
This is a PhD Thesis written under supervision of Prof.dr. J.A.G. Groenendijk and Prof.dr. J.F.A.K. van Benthem at the Institute for Logic, Language and Computation.
This is a doctoral dissertation of Johan van Benthem accomplished under the supervision of prof. Dr. M.H.LΓΆb in 1976. This is one of the outstanding dissertations in modal logic. Later, J. van Benthem wrote a book "Modal Logic and Classical Logic", which is based on (and significantly extends) this
This is a doctoral dissertation of Johan van Benthem accomplished under the supervision of prof. Dr. M.H.LΓΆb in 1976. This is one of the outstanding dissertations in modal logic. Later, J. van Benthem wrote a book "Modal Logic and Classical Logic", which is based on (and significantly extends) this