Extending finite subsets of an immune set (Q1364274)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1051527
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Extending finite subsets of an immune set |
scientific article; zbMATH DE number 1051527 |
Statements
Extending finite subsets of an immune set (English)
0 references
27 January 1998
0 references
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.
0 references
immune set
0 references
isol
0 references
frame
0 references
combinatorial operator
0 references
extendible
0 references
recursive equivalence types
0 references
0.7318475246429443
0 references
0.6794167757034302
0 references
0.6790109872817993
0 references
0.6748122572898865
0 references
