Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-19T04:20:27.950Z Has data issue: false hasContentIssue false

Uniquely undefinable elements

Published online by Cambridge University Press:  12 March 2014

Greg Hjorth*
Affiliation:
University of Melbourne, Department of Mathematics and Statistics, Parkville, 3010, Melbourne, Victoria, Australia, E-mail: [email protected]

Abstract

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

Type
Research Article
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. 2568.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. 645654, 1993, the updated version available at http://www.math.wise.edu/~miller/res/problem.pdf.Google Scholar