Makoto Fujiwara

Available identifiers

zbMath Open fujiwara.makotoMaRDI QIDQ892138

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Makoto Fujiwara