Uniquely undefinable elements

Journal of Symbolic Logic 75 (1):269-274 (2010)
  Copy   BIBTEX

Abstract

There exists a model in a countable language having a unique element which is not definable in $\scr{L}_{\omega _{1},\omega}$

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1264433920

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ns Saturated and -Definable.Stefan Hoffelner - 2021 - Journal of Symbolic Logic 86 (1):25-59.
Forcing Axioms and the Definability of the Nonstationary Ideal on the First Uncountable.Stefan Hoffelner, Paul Larson, Ralf Schindler & W. U. Liuzhen - 2024 - Journal of Symbolic Logic 89 (4):1641-1658.
Logics From Ultrafilters.Daniele Mundici - forthcoming - Review of Symbolic Logic:1-18.
End extensions and numbers of countable models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):550-562.
An incompleteness theorem for β n -models.Carl Mummert & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (2):612-616.
Locally countable models of Σ1-separation.Fred G. Abramson - 1981 - Journal of Symbolic Logic 46 (1):96 - 100.
Independently Axiomatizable [image] Theories.Greg Hjorth & Ioannis A. Souldatos - 2009 - Journal of Symbolic Logic 74 (4):1273 - 1286.
Syntax and Semantics of the Logic $\mathcal{L}^\lambda_{\omega\omega}$.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
Models with the ω-property.Roman Kossak - 1989 - Journal of Symbolic Logic 54 (1):177-189.
Analytic countably splitting families.Otmar Spinas - 2004 - Journal of Symbolic Logic 69 (1):101-117.

Analytics

Added to PP
2010-09-12

Downloads
36 (#634,807)

6 months
3 (#1,486,845)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Infinitary properties of abelian torsion groups.Jon Barwise & Paul Eklof - 1970 - Annals of Mathematical Logic 2 (1):25-68.

Add more references