The following pages link to (Q3269140):
Displayed 18 items.
- Countable algebra and set existence axioms (Q1063593) (← links)
- Members of countable \(\Pi ^ 0_ 1\) classes (Q1084100) (← links)
- Index sets for \(\Pi^0_1\) classes (Q1295386) (← links)
- A rank one cohesive set (Q1332857) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← links)
- Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy (Q1935363) (← links)
- choice classes (Q2958216) (← links)
- Invariance in ℰ* and ℰ_{Π} (Q3378462) (← links)
- Degree-theoretic bounds on the morley rank (Q3791142) (← links)
- Lorenzen and Constructive Mathematics (Q5024724) (← links)
- RANK AND RANDOMNESS (Q5207564) (← links)
- Measures and their random reals (Q5247029) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- La prédicativité (Q5339291) (← links)
- Classes of Polish spaces under effective Borel isomorphism (Q5365177) (← links)
- Some results in the effective descriptive set theory (Q5567856) (← links)
- Some properties of $\sum\nolimits_1^1$- and $\prod\nolimits_1^1$-sets in $N^N $ (Q5567857) (← links)
- SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE (Q5855746) (← links)