The following pages link to Yiannis N. Moschovakis (Q638493):
Displaying 50 items.
- Classical descriptive set theory as a refinement of effective descriptive set theory (Q638494) (← links)
- Computable concurrent processes (Q673972) (← links)
- A model of concurrency with fair merge and full recursion (Q808690) (← links)
- Descriptive set theory (Q1139038) (← links)
- Elementary induction on abstract structures (Q1217684) (← links)
- On primitive recursive algorithms and the greatest common divisor function (Q1399976) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← links)
- (Q2524557) (redirect page) (← links)
- Many-one degrees of the predicates \(H_ a(x)\) (Q2524558) (← links)
- The Suslin-Kleene theorem for countable structures (Q2542989) (← links)
- The Suslin-Kleene theorem for \(V_\kappa\) with cofinality(\(\kappa)=\omega\). (Q2550019) (← links)
- Two theorems about projective sets (Q2559465) (← links)
- (Q2762147) (← links)
- Kleene's Amazing Second Recursion Theorem (Q3161629) (← links)
- (Q3204036) (← links)
- Hyperarithmetical Sets (Q3305318) (← links)
- (Q3342564) (← links)
- Notes on Set Theory (Q3376047) (← links)
- The formal language of recursion (Q3480027) (← links)
- (Q3607619) (← links)
- (Q3607622) (← links)
- (Q3607623) (← links)
- (Q3607633) (← links)
- Kleene’s Amazing Second Recursion Theorem (Q3644738) (← links)
- (Q3689175) (← links)
- (Q3734395) (← links)
- (Q3927229) (← links)
- (Q3927230) (← links)
- (Q3944598) (← links)
- (Q4047541) (← links)
- On nonmonotone inductive definability (Q4063427) (← links)
- (Q4111564) (← links)
- (Q4154856) (← links)
- Global inductive definability (Q4177549) (← links)
- (Q4180340) (← links)
- (Q4182735) (← links)
- The logic of recursive equations (Q4212915) (← links)
- (Q4218941) (← links)
- (Q4247024) (← links)
- (Q4281260) (← links)
- (Q4286718) (← links)
- (Q4395617) (← links)
- (Q4474854) (← links)
- Is the Euclidean Algorithm Optimal Among its Peers? (Q4678946) (← links)
- Abstract Recursion and Intrinsic Complexity (Q4690192) (← links)
- (Q4710656) (← links)
- The extent of definable scales (Q4748137) (← links)
- Ordinal games and playful models (Q5219249) (← links)
- Measurable cardinals in playful models (Q5219250) (← links)
- (Q5271417) (← links)
