Hereditarily effective typestreams

DOI10.1007/S001530050062zbMath0876.03023OpenAlexW2044870424MaRDI QIDQ1360315

Dag Normann

Publication date: 30 October 1997

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10852/43292

zbMATH Keywords

closure ordinal of inductionfirst recursively inaccessible ordinalhereditarily effective typestreampositive inductiontypestream

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces

This page was built for publication: Hereditarily effective typestreams