Each family of subsets of the urelements generates an admissible set
From MaRDI portal
Publication:751652
DOI10.1007/BF00970909zbMath0715.03017MaRDI QIDQ751652
Publication date: 1989
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Logic on admissible sets (03C70)
Cites Work
This page was built for publication: Each family of subsets of the urelements generates an admissible set