No CrossRef data available.
Article contents
Uniquely undefinable elements
Published online by Cambridge University Press: 12 March 2014
Abstract
There exists a model in a countable language having a unique element which is not definable in .
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2010
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