The following pages link to Hyperanalytic Predicates (Q5542099):
Displaying 13 items.
- Reflection and forcing in E-recursion theory (Q1062978) (← links)
- Set recursion and \(\Pi ^ 1_ 2\)-logic (Q1063591) (← links)
- The limits of E-recursive enumerability (Q1095136) (← links)
- Inadmissible forcing (Q1102950) (← links)
- Generalized computations over regular enumerations (Q1211984) (← links)
- Power set recursion (Q1346246) (← links)
- A generalized constructable continuum (Q1844659) (← links)
- Representability in some systems of second order arithmetic (Q2545877) (← links)
- A Property Equivalent to the Existence of Scales (Q3718706) (← links)
- On monotone vs. nonmonotone induction (Q4137152) (← links)
- (Q4141228) (← links)
- Hierarchies of Effective Descriptive Set Theory (Q5585409) (← links)
- Computability and non-monotone induction (Q6594831) (← links)