Totally non‐immune sets

Mathematical Logic Quarterly 61 (1-2):103-116 (2015)
  Copy   BIBTEX


Let be a countable first‐order language and be an ‐structure. “Definable set” means a subset of M which is ‐definable in with parameters. A set is said to be immune if it is infinite and does not contain any infinite definable subset. X is said to be partially immune if for some definable A, is immune. X is said to be totally non‐immune if for every definable A, and are not immune. Clearly every definable set is totally non‐immune. Here we ask whether the converse is true and prove that it is false for every countable structure whose class of definable sets satisfies a mild condition. We investigate further the possibility of an alternative construction of totally non‐immune non‐definable sets with the help of a subclass of immune sets, the class of cohesive sets, as well as with the help of a generalization of definable sets, the semi‐definable ones (the latter being naturally defined in models of arithmetic). Finally connections are found between totally non‐immune sets and generic classes in nonstandard models of arithmetic.



    Upload a copy of this work     Papers currently archived: 92,261

External links

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

Through your library

Similar books and articles

Immunity and Hyperimmunity for Sets of Minimal Indices.Frank Stephan & Jason Teutsch - 2008 - Notre Dame Journal of Formal Logic 49 (2):107-125.
Bounded Immunity and Btt‐Reductions.Stephen Fenner & Marcus Schaefer - 1999 - Mathematical Logic Quarterly 45 (1):3-21.
On Some Complexity Characteristics of Immune Sets.Valeriy K. Bulitko - 1995 - Mathematical Logic Quarterly 41 (3):307-313.
Isols and maximal intersecting classes.Jacob C. E. Dekker - 1993 - Mathematical Logic Quarterly 39 (1):67-78.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
On the weak Kleene scheme in Kripke's theory of truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
The degrees of bi‐immune sets.Carl G. Jockusch - 1969 - Mathematical Logic Quarterly 15 (7‐12):135-140.
The mind and the immune system.Rudy E. Ballieux - 1994 - Theoretical Medicine and Bioethics 15 (4).
A note on immune sets.John W. Berry - 1972 - Notre Dame Journal of Formal Logic 13 (1):98-100.


Added to PP

19 (#803,294)

6 months
8 (#370,225)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Athanassios Tzouvaras
Aristotle University of Thessaloniki (PhD)

Citations of this work

Russell's typicality as another randomness notion.Athanassios Tzouvaras - 2020 - Mathematical Logic Quarterly 66 (3):355-365.
Provisional Universality.Daniel Bonevac - forthcoming - Erkenntnis:1-20.

Add more citations

References found in this work

Peano Models with Many Generic Classes.James H. Schmerl, M. Lerman, J. H. Schmerl & R. I. Soare - 2009 - Bulletin of Symbolic Logic 15 (2):222-227.

Add more references