The following pages link to Makoto Fujiwara (Q892138):
Displaying 21 items.
- Some principles weaker than Markov's principle (Q892139) (← links)
- \(\Delta^0_1\) variants of the law of excluded middle and related principles (Q2085582) (← links)
- An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis (Q2104258) (← links)
- Parallelizations in Weihrauch reducibility and constructive reverse mathematics (Q2106590) (← links)
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Bar induction and restricted classical logic (Q2303591) (← links)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ (Q3195695) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- Weihrauch and constructive reducibility between existence statements (Q4995601) (← links)
- PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC (Q5015727) (← links)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- A Note on the Sequential Version of ${\rm \Pi^1_2}$ Statements (Q5326367) (← links)
- On the strength of marriage theorems and uniformity (Q5419204) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)
- König's lemma, weak König's lemma, and the decidable fan theorem (Q6047683) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
- Prenex normalization and the hierarchical classification of formulas (Q6128782) (← links)
- CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC (Q6180604) (← links)
- Prenex normal form theorems in semi-classical arithmetic (Q6348633) (← links)
