The following pages link to Takako Nemoto (Q781508):
Displaying 11 items.
- Finite sets and infinite sets in weak intuitionistic arithmetic (Q781509) (← links)
- Some principles weaker than Markov's principle (Q892139) (← links)
- The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
- On the independence of premiss axiom and rule (Q2204366) (← links)
- Equivalents of the finitary non-deterministic inductive definitions (Q2311215) (← links)
- A note on the independence of premiss rule (Q2793909) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- Infinite games in the Cantor space and subsystems of second order arithmetic (Q5293192) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
