Extending finite subsets of an immune set

DOI10.1216/RMJM/1181071952MaRDI QIDQ1364274zbMATH OpenOpenAlexFDO

Authors J. C. E. Dekker, Joseph Barback

Publication date 27 January 1998

Published in Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL http://math.la.asu.edu/~rmmc/rmj/VOL27-1/CONT27-1/CONT27-1.html

zbMATH Keywords

combinatorial operatorextendibleframeimmune setisolrecursive equivalence types

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50)

Review text

A set \(A\) is non-immune iff there exists an effective procedure that extends each finite subset of \(A\) to a strict superset that is also a finite subset of \(A\). However, an immune set can admit an effective procedure that extends its finite subsets of certain cardinalities to finite subsets of certain other cardinalities. The authors develop this idea and explore its connections with classical notions of RET theory, such as combinatorial operators and frames.

Recommendations

• Counting finite subsets of an immune set
• scientific article; zbMATH DE number 3859105
• \(e\)-immune sets
• A cardinal preserving immune partition of the ordinals
• Immunity, Relativizations, and Nondeterminism

Cites work

• Extensions to isols
• scientific article; zbMATH DE number 3760150 (Why is no real title available?)
• scientific article; zbMATH DE number 3253913 (Why is no real title available?)
• scientific article; zbMATH DE number 3271499 (Why is no real title available?)
• scientific article; zbMATH DE number 3339407 (Why is no real title available?)
• scientific article; zbMATH DE number 3394122 (Why is no real title available?)
• Non-linear combinatorial functions of isols
• Recursive equivalence types and combinatorial functions
• Two Notes on Recursive Functions aand Regressive Isols

Cited in

(3)

• Counting finite subsets of an immune set
• Immunity and hyperimmunity for sets of minimal indices
• Immunity and non-cupping for closed sets

This page was built for publication: Extending finite subsets of an immune set

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1364274)