REFERENCES
Published online by Cambridge University Press: 05 August 2016
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Lectures on Infinitary Model Theory , pp. 175 - 180Publisher: Cambridge University PressPrint publication year: 2016
References
[1] , The Vaught Conjecture: Do uncountable models count?, Notre Dame Journal of Formal Logic, vol. 48 (2007), pp. 79–92.Google Scholar
[2] , Categoricity, AMS University Lecture Series, AMS, 2009.
[3] , Amalgamation, absoluteness, and categoricity, Proceedings of the 11th Asian Logic Conference, World Scientific Publishing, Hackensack, NJ, 2012, pp. 22–50.
[4] , , , and , Three red herrings around Vaught's Conjecture, Transactions of the American Mathematical Society, vol. 268 (2016), pp. 3673–3694.Google Scholar
[5] and , Iterated elementary embeddings and the model theory of infinitary languages, Annals of Pure and Applied Logic, vol. 167 (2016), pp. 309–334.Google Scholar
[6] , The Syntax and Semantics of Infinitary Languages, Lecture Notes in Mathematics, vol. 72, Springer-Verlag, Berlin and New York, 1968, pp. 166–181.
[7] , Back and forth through infinitary logics, Studies in Model Theory (, editor), MAA, 1973.
[8] , Admissible Sets and Structures, Springer-Verlag, Berlin, 1975.
[9] and , Handbook of Model Theoretic Logics, Springer-Verlag, Berlin, 1985.
[10] , The Hanf number for complete sentences (without GCH), The Journal of Symbolic Logic, vol. 39 (1974), pp. 575–578.Google Scholar
[11] , , and , Some definability results in abstract Kummer theory, International Mathematics Research Notices, vol. 14 (2014), pp. 3975–4000.Google Scholar
[12] , , , , and , Quasiminimal structures and excellence, Bulletin of the London Mathematical Society, vol. 46 (2014), pp. 155–163.Google Scholar
[13] , , and , Universal covers of commutative finite Morley rank groups, preprint.
[14] and , Excellence and uncountable categoricity of Zilber's exponential fields, preprint. 175
[15] and , Covers of multiplicative groups of algebraically closed fields of arbitrary characteristic, Bulletin of the London Mathematical Society, vol. 43 (2011), pp. 689–702.Google Scholar
[16] , Equivalences generated by families of Borel sets, Proceedings of the American Mathematical Society, vol. 69 (1978), pp. 323–326.Google Scholar
[17] , , and , Computable trees of Scott rank and computable approximation, The Journal of Symbolic Logic, vol. 71 (2006), pp. 283–298.Google Scholar
[18] , Larger infinitary languages, in [9].
[19] and , A note on admissible ordinals, in [6].
[20] , , and , The nonabsoluteness of model existence in uncountable cardinals for, Notre Dame Journal of Formal Logic, vol. 54 (2013), pp. 137–151.Google Scholar
[21] , , and , Set existence, Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, vol. 8 (1960), pp. 577–582.Google Scholar
[22] , On automorphism groups of countable structures, The Journal of Symbolic Logic, vol. 63 (1998), pp. 891–896.Google Scholar
[23] , Invariant Descriptive Set Theory, Pure and Applied Mathematics, vol. 293, CRC Press, Boca Raton, 2009.
[24] and , A tree argument in infinitary model theory, Proceedings of the American Mathematical Society, vol. 67, 1977, pp. 309–314.Google Scholar
[25] , Analytic determinacy and, The Journal of Symbolic Logic, vol. 43 (1978), pp. 685–693.Google Scholar
[26] and , Diophantine Geometry. An Introduction, Graduate Texts in Mathematics, vol. 201, Springer-Verlag, New York, 2000.
[27] , Recursion Theoretic Hierarchies, Springer-Verlag, Berlin, New York, 1978.
[28] , Knight's model, its automorphism group, and characterizing the uncountable cardinals, Journal of Mathematical Logic, vol. 2 (2002), pp. 113– 144.Google Scholar
[29] , A note on counterexamples to the Vaught conjecture, Notre Dame Journal of Formal Logic, vol. 48 (2007), pp. 49–51.Google Scholar
[30] , Set Theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.
[31] , The Higher Infinite, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1994.
[32] , Infinite Abelian Groups, University of Michigan Press, Ann Arbor, 1954.
[33] , The quantifier “there exist uncountably many” and some of its relatives, in [9].
[34] , Classical Descriptive Set Theory, Springer-Verlag, New York, 1995.
[35] , , and , Introduction to Q-theory, Cabal Seminar 79–81, Lecture Notes in Mathematics, vol. 1019, Springer, Berlin, 1983, pp. 199–282.
[36] , Logic with the quantifier “there exist uncountably many”, Annals of Mathematical Logic, vol. 1 (1970), pp. 1–93.Google Scholar
[37] , Model Theory of Infinitary Languages, North-Holland, Amsterdam, 1971.
[38] and , Elementary extensions of models of set theory, Israel Journal of Mathematics, vol. 6 (1968), pp. 49–65.Google Scholar
[39] , On quasiminimal excellent classes, The Journal of Symbolic Logic, vol. 75 (2010), pp. 551–564.Google Scholar
[40] , A complete-sentence characterizing, The Journal of Symbolic Logic, vol. 42 (1977), pp. 59–62.Google Scholar
[41] , Prime and atomic models, The Journal of Symbolic Logic, vol. 43 (1978), pp. 385–393.Google Scholar
[42] , , and , Computable structures in generic extensions, preprint.
[43] , Back-and-forth arguments in infinitary languages, Infinitary Logic: In Memoriam Carol Karp (, editor), Lecture Notes in Mathematics, vol. 72, Springer-Verlag, Berlin, 1975.
[44] , Countable approximations and Löwenheim–Skolem theorems, Annals of Mathematical Logic, vol. 11 (1977), pp. 57–103.Google Scholar
[45] , Uniform theorems in infinitary logic, Logic Colloquium ‘77, Studies in Logic and the Foundations of Mathematics, vol. 96, North-Holland, Amsterdam, New York, 1978.
[46] , SetTheory: AnIntroduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland, Amsterdam, 1983.
[47] , Axiomatizing Scott processes, preprint.
[48] and , On the existence of atomic models, The Journal of Symbolic Logic, vol. 58 (1993), pp. 1189–1194.Google Scholar
[49] , An “admissible” generalization of a theorem on countable sets of reals with applications, Annals of Mathematical Logic, vol. 11 (1977), pp. 1–30.Google Scholar
[50] , Infinitary Logic, Handbook of Mathematical Logic (, editor), Studies in Logic and the Foundations of Mathematics, vol. 90, North-Holland, Amsterdam, New York, Oxford, 1977.
[51] , An example concerning Scott heights, The Journal of Symbolic Logic, vol. 46 (1981), pp. 301–318.Google Scholar
[52] , The Hanf number for complete-sentences, in [6].
[53] , Omitting types: application to descriptive set theory, Proceedings of the American Mathematical Society, vol. 47 (1975), pp. 198– 200.Google Scholar
[54] and , Recursive Aspects of Descriptive Set Theory, Oxford University Press, Oxford, 1985.
[55] , Basic definability notions for, appendix to [3].
[56] , Model Theory: An Introduction, Springer Graduate Texts in Mathematics, Springer, Berlin, 2002.
[57] , The axiom of determinateness and reduction principles in the analytical hierarchy, Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 687–689.Google Scholar
[58] and , Infinite games and effective descriptive set theory, Analytic Sets ( et al., editors), Academic Press, London, 1980.
[59] , A computability theoretic equivalent to Vaught's conjecture, Advances in Mathematics, vol. 235 (2013), pp. 56–73.Google Scholar
[60] , The number of countable models, The Journal of Symbolic Logic, vol. 35 (1970), pp. 14–18.Google Scholar
[61] , Descriptive Set Theory, North Holland, Amsterdam, 1980.
[62] , and admissible fragments, in [9].
[63] , More Löwenheim–Skolem results for admissible sets, Israel Journal of Mathematics, vol. 18 (1974), pp. 53–64.Google Scholar
[64] , Scott sentences and admissible sets, Annals of Mathematical Logic, vol. 7 (1974), pp. 267–294.Google Scholar
[65] , Models with compactness properties relative to an admissible language, Annals of Mathematical Logic, vol. 11 (1977), pp. 31–55.Google Scholar
[66] , Metarecursively enumerable sets and admissible ordinals, Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 59–64.Google Scholar
[67] , On the number of countable models, Southeast Asian Conference on Logic (Singapore, 1981), Studies in Logic and the Foundations of Mathematics, vol. 111, North-Holland, Amsterdam, 1983, pp. 185–195.
[68] , Higher Recursion Theory, Springer-Verlag, Berlin, 1990.
[69] , Categoricity in of sentences in, Israel Journal of Mathematics, vol. 20 (1975), pp. 127–148.Google Scholar
[70] , Classification theory and the number of nonisomorphic models, vol. 92 (1978).
[71] , The number of pairwise non-elementarily-embeddable models, The Journal of Symbolic Logic, vol. 54 (1989), pp. 1431–1455.Google Scholar
[72] , Borel sets with large squares, Fundamenta Mathematicae, vol. 159 (1999), pp. 1–50.Google Scholar
[73] , , and , A proof of Vaught's conjecture for-stable theories, Israel Journal of Mathematics, vol. 49 (1984), pp. 259–280.Google Scholar
[74] , Counting the number of equivalence classes of Borel and coanalytic equivalence relations, Annals of Mathematical Logic, vol. 18 (1980), pp. 1–28.Google Scholar
[75] and , Definable functions on degrees, Cabal Seminar 81–85, Lecture Notes in Mathematics, vol. 1333, Springer, Berlin, 1988, pp. 37–55.
[76] , Characterizing the powerset by a complete (Scott) sentence, Fundamenta Mathematicae, vol. 222 (2013), pp. 131–154.Google Scholar
[77] , Notes on cardinals that are characterizable by a complete (Scott) sentence, Notre Dame Journal of Formal Logic, vol. 55 (2014), pp. 533–551.Google Scholar
[78] , On Vaught's conjecture, Cabal Seminar 76–77, Lecture Notes in Mathematics, vol. 689, Springer, Berlin, 1978, pp. 193–208.
[79] , Pseudo-exponentiation on algebraically closed fields of characteristic zero, Annals of Pure and Applied Logic, vol. 132 (2005), pp. 67–95.Google Scholar
[80] , Covers of the multiplicative group of an algebraically closed field of characteristic zero, Journal of the London Mathematical Society, vol. 74 (2006), pp. 41–58.Google Scholar