Makoto Fujiwara

Available identifiers

zbMath Open fujiwara.makotoMaRDI QIDQ892138

List of research outcomes

Publication	Date of Publication	Type
A logical characterization of the continuous bar induction	2024-09-11	Paper
Prenex normalization and the hierarchical classification of formulas	2024-04-16	Paper
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC	2023-12-22	Paper
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES	2023-10-13	Paper
Decidable fan theorem and uniform continuity theorem with continuous moduli	2023-09-12	Paper
König's lemma, weak König's lemma, and the decidable fan theorem	2023-09-12	Paper
Refining the arithmetical hierarchy of classical principles	2023-09-12	Paper
Parallelizations in Weihrauch reducibility and constructive reverse mathematics	2022-12-16	Paper
An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis	2022-12-07	Paper
\(\Delta^0_1\) variants of the law of excluded middle and related principles	2022-10-18	Paper
PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC	2021-12-09	Paper
Weihrauch and constructive reducibility between existence statements	2021-06-25	Paper
Characterising Brouwer's continuity by bar recursion on moduli of continuity	2021-01-19	Paper
Prenex normal form theorems in semi-classical arithmetic	2020-09-07	Paper
Bar induction and restricted classical logic	2020-03-04	Paper
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli	2019-05-31	Paper
INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES	2018-10-26	Paper
Some principles weaker than Markov's principle	2015-11-18	Paper
Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$	2015-10-20	Paper
Classical provability of uniform versions and intuitionistic provability	2015-06-22	Paper
On the strength of marriage theorems and uniformity	2014-06-06	Paper
A Note on the Sequential Version of ${\rm \Pi^1_2}$ Statements	2013-08-05	Paper

Research outcomes over time

This page was built for person: Makoto Fujiwara