Hostname: page-component-848d4c4894-wzw2p Total loading time: 0 Render date: 2024-05-06T03:01:59.722Z Has data issue: false hasContentIssue false
  • English
  • Français

Uniquely undefinable elements

Published online by Cambridge University Press:  12 March 2014

Greg Hjorth
Greg Hjorth*
Affiliation:
University of Melbourne, Department of Mathematics and Statistics, Parkville, 3010, Melbourne, Victoria, Australia, E-mail: greg.hjorth@gmail.com
Get access Rights & Permissions [Opens in a new window]

Abstract

There exists a model in a countable language having a unique element which is not definable in .

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 75 , Issue 1 , March 2010 , pp. 269 - 274
Copyright
Copyright © Association for Symbolic Logic 2010

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

[1] Barwise, J., Admissible Sets and Structures. An Approach to Definability Theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-New York, 1975.Google Scholar
[2] Barwise, J. and Eklof, P., Infinitary properties of abelian torsion groups, Annals of Mathematical Logic, vol. 2 (1970/1971), no. 1, pp. 25–68.Google Scholar
[3] Keisler, H. J., Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers, Studies in Logic and the Foundations of Mathematics, vol. 62, North-Holland Publishing Co., Amsterdam-London, 1971.Google Scholar
[4] Miller, A., Arnie Miller's problem list, Set Theory of the Reals (Bar-Han University, Ramat Gan), Israel Mathematical Conference Proceedings, vol. 6, pp. 645–654, 1993, the updated version available at http://www.math.wise.edu/~miller/res/problem.pdf.Google Scholar