Hostname: page-component-78c5997874-xbtfd Total loading time: 0 Render date: 2024-11-20T04:35:13.117Z Has data issue: false hasContentIssue false
  • English
  • Français

HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM

Published online by Cambridge University Press:  01 April 2019

JOHN T. BALDWIN  and
MICHAEL C. LASKOWSKI
JOHN T. BALDWIN
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF ILLINOIS AT CHICAGO CHICAGO, IN 60607-7045, USA E-mail: [email protected]
MICHAEL C. LASKOWSKI
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF MARYLAND COLLEGE PARK, MD 20742, USA E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We describe techniques for constructing models of size continuum in ω steps by simultaneously building a perfect set of enmeshed countable Henkin sets. Such models have perfect, asymptotically similar subsets. We survey applications involving Borel models, atomic models, two-cardinal transfers and models respecting various closure relations.

Keywords

Primary 03C50Secondary 03C3003C25Henkin setsasymptotic similarityBorel modelatomic model
Type
Articles
Information
Bulletin of Symbolic Logic , Volume 25 , Issue 1 , March 2019 , pp. 1 - 33
Copyright
Copyright © The Association for Symbolic Logic 2019 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Ackerman, N., Freer, C., and Patel, R., Invariant measures concentrated on countable structures. Forum of Mathematics Sigma, vol. 4 (2016), no. e17, p. 59.CrossRefGoogle Scholar
Baldwin, J. T., Categoricity, University Lecture Notes, vol. 51, American Mathematical Society, Providence, USA, 2009.Google Scholar
Baldwin, J. T., The explanatory power of a new proof: Henkin’s completeness proof, Philosophy of Mathematics: Truth, Existence and Explanation (Piazza, M. and Pulcini, G., editors), FilMat 2016 Studies in the Philosophy of Mathematics, Springer-Verlag, Berlin, 2018, pp. 147–162.CrossRefGoogle Scholar
Bays, M., Categoricity results for exponential maps of 1-dimensional algebraic groups & Schanuel Conjectures for Powers and the CIT, Ph.D. thesis, Oxford, 2009. Available at http://people.maths.ox.ac.uk/∼bays/dist/thesis/.Google Scholar
Baldwin, J. T., Laskowski, M. C., and Shelah, S., Constructing many atomic models in${\aleph _1}$.. Journal of Symbolic Logic, vol. 81 (2016), pp. 1142–1162.CrossRefGoogle Scholar
Bays, M. and Zilber, B. I., Covers of multiplicative groups of an algebraically closed field of arbitrary characteristic. Bulletin of the London Mathematical Society, vol. 43 (2011), pp. 689–702.CrossRefGoogle Scholar
Henkin, L., The completeness of the first-order functional calculus. Journal of Symbolic Logic, vol. 14 (1949), pp. 159–166.CrossRefGoogle Scholar
Hjorth, G., Knight’s model, its automorphism group, and characterizing the uncountable cardinals. Journal of Mathematical Logic, vol. 8 (2002), pp. 113–144.CrossRefGoogle Scholar
Hjorth, G., A note on counterexamples to Vaught’s conjecture. Notre Dame Journal of Formal Logic, vol. 48 (2007), no. 1, pp. 49–51.CrossRefGoogle Scholar
Hafner, J. and Mancosu, P., The varieties of mathematical explanation, Visualization, Explanation, and Reasoning Styles in Mathematics (Mancosu, P., Jorgensen, K. F., and Pedersen, S., editors), Springer, Berlin, 2005, pp. 251–249.Google Scholar
Hrushovski, E. and Shelah, S., Stability and omitting types. Israel Journal of Mathematics, vol. 74 (1991), pp. 289–321.CrossRefGoogle Scholar
Hirschfeldt, D., Shore, R., and Slaman, T., The atomic model theorem and type omitting. Transactions of the American Mathematical Society, vol. 361 (2009), pp. 5805–5837.CrossRefGoogle Scholar
Keisler, H. J., Model Theory for Infinitary Logic, North-Holland, Amsterdam, 1971.Google Scholar
Kirby, J., On quasiminimal excellent classes. Journal of Symbolic Logic, vol. 75 (2010), pp. 551–564.CrossRefGoogle Scholar
Kim, B., Kim, H.-J., and Scow, L., Tree indiscernibilities, revisited. Archive for Mathematical Logic, vol. 53 (2015), no. 2–14, pp. 211–232.CrossRefGoogle Scholar
Knight, J. F., A complete ${L_{{\omega _1},\omega }}$-sentence characterizing${\aleph _1}$.. Journal of Symbolic Logic, vol. 42 (1977), pp. 151–161.Google Scholar
Kueker, D. W., Uniform theorems in infinitary logic, Logic Colloquium 77 (Macintyre, A., Pacholski, L., and Paris, J., editors), North Holland, Amsterdam, 1978, pp. 161–170.CrossRefGoogle Scholar
Lachlan, A. H., A property of stable theories. Fundamenta Mathematicae, vol. 77 (1972), pp. 9–20.CrossRefGoogle Scholar
Laskowski, M. C. and Shelah, S., On the existence of atomic models. Journal of Symbolic Logic, vol. 58 (1993), pp. 1189–1194.CrossRefGoogle Scholar
Montalbán, A. and Nies, A., Borel structures, a brief survey, Effective Mathematics of the Uncountable (Greenberg, N., Hamkins, J. D., Hirschfeldt, D., and Miller, R., editors), Lecture Notes in Logic, vol. 41, Association of Symbolic Logic/Cambridge University Press, 2013, pp. 124–134.CrossRefGoogle Scholar
Resnik, M. and Kushner, D., Explanation, independence, and realism in mathematics. The British Journal for the Philosophy of Science, vol. 38 (1987), pp. 141–158.CrossRefGoogle Scholar
Rucker, R., White Light, Ace, New York, 1980.Google Scholar
Shelah, S., Categoricity in ${\aleph _1}$of sentences in.${L_{{\omega _1},\omega }}\left( Q \right)$. Israel Journal of Mathematics , vol. 20 (1975), pp. 127–148. Sh index 48.CrossRefGoogle Scholar
Shelah, S., A two-cardinal theorem. Proceedings of the American Mathematical Society, vol. 48 (1975), pp. 207–213. Sh index 37.CrossRefGoogle Scholar
Shelah, S., A two-cardinal theorem and a combinatorial theorem. Proceedings of the American Mathematical Society, vol. 62 (1976), pp. 134–136. Sh index 49.CrossRefGoogle Scholar
Shelah, S., Classification Theory and the Number of Nonisomorphic Models, North-Holland, Amsterdam, 1978.Google Scholar
Shelah, S., Classification theory for nonelementary classes. I. The number of uncountable models of $\psi \in {L_{{\omega _1}\omega }}$part A . Israel Journal of Mathematics , vol. 46 (1983), no. 3, pp. 212–240. Sh index 87a.CrossRefGoogle Scholar
Shelah, S., Classification theory for nonelementary classes. II. The number of uncountable models of $\psi \in {L_{{\omega _1}\omega }}$part B . Israel Journal of Mathematics , vol. 46 (1983), no. 3, pp. 241–271. Sh index 87b.CrossRefGoogle Scholar
Shelah, S., Borel sets with large squares. Fundamenta Mathematica, vol. 159 (1999), pp. 1–50. Sh index 522.Google Scholar
Shelah, S. and Väänänen, J., Recursive logic frames. Mathematical Logic Quarterly, vol. 52 (2006), pp. 151–164.CrossRefGoogle Scholar
Vaught, R. L., Denumerable models of complete theories, Infinitistic Methods, Proceedings of the Symposium on the Foundations of Mathematics, Warsaw, 1959, Państwowe Wydawnictwo Naukowe, Warsaw, 1961, pp. 303–321.Google Scholar
Zilber, B. I., A categoricity theorem for quasiminimal excellent classes, Logic and its Applications (Blass, A. and Zhang, Y., editors), Contemporary Mathematics, vol. 380, American Mathematical Society, Providence, RI, 2005, pp. 297–306.CrossRefGoogle Scholar