References

• [Bar75] Jon Barwise. Admissible Sets and Structures. Perspectives in Mathematical Logic. Springer-Verlag, 1975. doi:10.1007/978-3-662-11035-5. [1] [2] [3]
• [Kar64] Carol R. Karp. Languages with Expressions of Infinite Length. Studies in Logic and the Foundations of Mathematics. North-Holland, 1964.
• [Kar65] Carol R. Karp. Finite-Quantifier Equivalence. In J. W. Addison, Leon Henkin, Alfred Tarski, editors, The Theory of Models, pages 407–412. North-Holland, Amsterdam, 1965. [1]
• [Kei71] H. Jerome Keisler. Model Theory for Infinitary Logic. Volume 62 of Studies in Logic and the Foundations of Mathematics. North-Holland, 1971. [1] [2] [3]
• [KK04] H. Jerome Keisler, Julia F. Knight. Barwise: Infinitary Logic and Admissible Sets. The Bulletin of Symbolic Logic, 10(1):4–36, 2004. doi:10.2178/bsl/1080330272. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
• [Mar16] David Marker. Lectures on Infinitary Model Theory. Volume 46 of Lecture Notes in Logic. Cambridge University Press, 2016. doi:10.1017/CBO9781316855560. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
• [Nad74] Mark E. Nadel. Scott sentences and admissible sets. Annals of Mathematical Logic, 7(2–3):267–294, 1974. doi:10.1016/0003-4843(74)90017-5. [1]