The following pages link to (Q5724782):
Displayed 9 items.
- Logic programming with infinite sets (Q812390) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- Infinite time extensions of Kleene's \({\mathcal O}\) (Q1031833) (← links)
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- Borel ideals vs. Borel sets of countable relations and trees (Q1120573) (← links)
- On a class of recursive hierarchies (Q1211045) (← links)
- A comparison of the indices arising in the transfinite iteration of functions (Q1394223) (← links)
- Some aspects of generalized computability (Q1846417) (← links)
- Hyperarithmetical Sets (Q3305318) (← links)