A stronger definition of a recursively infinite set
From MaRDI portal
Publication:2555067
DOI10.1305/ndjfl/1093891011zbMath0245.02039MaRDI QIDQ2555067
Publication date: 1973
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093891011
03D50: Recursive equivalence types of sets and structures, isols
Related Items