Makoto Fujiwara

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Archive for Mathematical Logic	2024-04-16	Paper
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC Journal of Symbolic Logic	2023-12-22	Paper
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES The Bulletin of Symbolic Logic	2023-10-13	Paper
König's lemma, weak König's lemma, and the decidable fan theorem Mathematical Logic Quarterly	2023-09-12	Paper
Decidable fan theorem and uniform continuity theorem with continuous moduli Mathematical Logic Quarterly	2023-09-12	Paper
Refining the arithmetical hierarchy of classical principles Mathematical Logic Quarterly	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 Archive for Mathematical Logic	2022-10-18	Paper
Prenex normal form theorems in semi-classical arithmetic Journal of Symbolic Logic	2021-12-09	Paper
Weihrauch and constructive reducibility between existence statements Computability	2021-06-25	Paper
Characterising Brouwer's continuity by bar recursion on moduli of continuity Archive for Mathematical Logic	2021-01-19	Paper
Prenex normal form theorems in semi-classical arithmetic (available as arXiv preprint)	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 Annals of Pure and Applied Logic	2019-05-31	Paper
Interrelation between weak fragments of double negation shift and related principles Journal of Symbolic Logic	2018-10-26	Paper
Some principles weaker than Markov's principle Archive for Mathematical Logic	2015-11-18	Paper
Intuitionistic provability versus uniform provability in \(\mathsf{RCA}\) Evolving Computability	2015-10-20	Paper
Classical provability of uniform versions and intuitionistic provability Mathematical Logic Quarterly	2015-06-22	Paper
On the strength of marriage theorems and uniformity Mathematical Logic Quarterly	2014-06-06	Paper
A note on the sequential version of \(\Pi^1_2\) statements Lecture Notes in Computer Science	2013-08-05	Paper

Research outcomes over time

This page was built for person: Makoto Fujiwara