The following pages link to (Q4060953):
Displaying 5 items.
- A characterization of \(\Sigma_1^1\)-reflecting ordinals (Q2231693) (← links)
- THE ORDER OF REFLECTION (Q5021928) (← links)
- A proof of Grilliot's theorem (Q6545484) (← links)
- Computability and non-monotone induction (Q6594831) (← links)
- Monotone versus non-monotone projective operators (Q6663909) (← links)