Publication:5724782
From MaRDI portal
zbMath0116.00704MaRDI QIDQ5724782
Publication date: 1961
Related Items
Logic programming with infinite sets, The metamathematics of ergodic theory, Infinite time extensions of Kleene's \({\mathcal O}\), Fixed-point extensions of first-order logic, Borel ideals vs. Borel sets of countable relations and trees, On a class of recursive hierarchies, A comparison of the indices arising in the transfinite iteration of functions, Some aspects of generalized computability