Hierarchies of Model Theoretic Definability—an Approach to Second Order Logics
Publisher
Springer Netherlands
Reference16 articles.
1. Barwise, J., ‘Absolute logics and L $$\infty$$ $$\omega$$ ’, Ann. of Math. Logic 4 (1973), pp. 309–340.
2. Barwise, J., ‘Axioms for abstract model theory’, Ann. of Math. Logic 4 (1974), pp. 221–266.
3. Barwise, J., Admissible Sets and Structures, Springer-Verlag, Berlin, 1975.
4. Chang, C. C ., ‘Some remarks on the model theory of infinitary languages’, in Barwise (ed.): The Syntax and Semantics of Infinitary Languages, Springer Lecture Notes in Math. 72 (1968), pp. 36–63.
5. Chang, C. C. and Keisler, H. J., Model Theory, North-Holland Publ. Co., Amsterdam, 1973.