Semidecidable numberings in admissible sets (Q2213938)

From MaRDI portal