The following pages link to William Alvin Howard (Q3760541):
Displaying 12 items.
- (Q3760542) (← links)
- Ordinal analysis of terms of finite type (Q3887455) (← links)
- (Q3887456) (← links)
- Ordinal analysis of simple cases of bar recursion (Q3912574) (← links)
- (Q3912575) (← links)
- (Q4365299) (← links)
- (Q5236406) (← links)
- A STRUCTURAL CRITERION FOR RECURSIVE ENUMERATION WITHOUT REPETITION (Q5341752) (← links)
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis (Q5537358) (← links)
- (Q5545953) (← links)
- (Q5606582) (← links)
- A system of abstract constructive ordinals (Q5680102) (← links)
