Extending finite subsets of an immune set
type: Item
instance of: scholarly article
title: Extending finite subsets of an immune set
zbMATH Open document ID: 0881.03025
author: J. C. E. Dekker
author: Joseph Barback
published in: Rocky Mountain Journal of Mathematics
publication date: 1998-01-27T00:00:00Z
full work available at URL: CONT27-1.html
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.
Mathematics Subject Classification ID: 03D50
zbMATH DE Number: 1051527
zbMATH Keywords: immune set
zbMATH Keywords: isol
zbMATH Keywords: frame
zbMATH Keywords: combinatorial operator
zbMATH Keywords: extendible
zbMATH Keywords: recursive equivalence types
reviewed by: Leon Harkleroad
MaRDI profile type: Publication
OpenAlex ID: W2062199896
cites work: Two Notes on Recursive Functions aand Regressive Isols
cites work: Q5616136
cites work: Q5556424
cites work: Q5540401
cites work: Q5661491
cites work: Q3942950
cites work: Recursive equivalence types and combinatorial functions
cites work: Extensions to isols
cites work: Non-linear combinatorial functions of isols
DOI: 10.1216/RMJM/1181071952
description: scientific article; zbMATH DE number 1051527