Publication:5659522
From MaRDI portal
zbMath0247.02040MaRDI QIDQ5659522
Publication date: 1968
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
03D55: Hierarchies of computability and definability
03C68: Other classical first-order model theory
Related Items
Unnamed Item, The ECO family, Agency and obligation, In conjunction with qualitative probability, Inner constructivizability of functional structures