The following pages link to Ryota Akiyoshi (Q283131):
Displaying 5 items.
- An extension of the omega-rule (Q283132) (← links)
- A formalization of Brouwer's argument for bar induction (Q1799271) (← links)
- On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program (Q3398983) (← links)
- Tait's conservative extension theorem revisited (Q5190193) (← links)
- (Q5369470) (← links)
