The following pages link to Kostas Hatzikiriakou (Q1337496):
Displayed 7 items.
- A note on ordinal numbers and rings of formal power series (Q1337497) (← links)
- \(\text{WKL}_ 0\) and Stone's separation theorem for convex sets (Q1919533) (← links)
- Algebraic disguises of \(\Sigma ^ 0_ 1\) induction (Q2640598) (← links)
- Minimal prime ideals and arithmetic comprehension (Q3360849) (← links)
- (Q3481699) (← links)
- (Q3484829) (← links)
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220) (← links)