Zobrazeno 1 - 10
of 524
pro vyhledávání: '"Fujiwara, Makoto"'
Autor:
Fujiwara, Makoto, Kurahashi, Taishi
Akama et al. [1] introduced a hierarchical classification of first-order formulas for a hierarchical prenex normal form theorem in semi-classical arithmetic. In this paper, we give a justification for the hierarchical classification in a general cont
Externí odkaz:
http://arxiv.org/abs/2302.11808
Publikováno v:
The Bulletin of Symbolic Logic, 2023 Sep 01. 29(3), 311-353.
Externí odkaz:
https://www.jstor.org/stable/27253532
Autor:
Tsubokawa, Norifumi, Mimae, Takahiro, Mimura, Takeshi, Kamigaichi, Atsushi, Fujiwara, Makoto, Kawamoto, Nobutaka, Miyata, Yoshihiro, Okada, Morihito
Publikováno v:
In Clinical Lung Cancer June 2024 25(4):329-335
Autor:
Fujiwara, Makoto, Kurahashi, Taishi
We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic $\mathsf{PA}$ and intuitionistic arithmetic $\mathsf{HA}$. Using a generalized negative translation, we first provide a
Externí odkaz:
http://arxiv.org/abs/2107.11356
Autor:
Fujiwara, Makoto1 (AUTHOR) makotofujiwara@rs.tus.ac.jp, Nemoto, Takako2 (AUTHOR)
Publikováno v:
Computability. Apr2024, p1-8. 8p.
Autor:
Fujiwara, Makoto, Kurahashi, Taishi
We refine the arithmetical hierarchy of various classical principles by finely investigating the derivability relations between these principles over Heyting arithmetic. We mainly investigate some restricted versions of the law of excluded middle, de
Externí odkaz:
http://arxiv.org/abs/2010.11527
Autor:
Fujiwara, Makoto, Kurahashi, Taishi
Akama et al. systematically studied an arithmetical hierarchy of the law of excluded middle and related principles in the context of first-order arithmetic. In that paper, they first provide a prenex normal form theorem as a justification of their se
Externí odkaz:
http://arxiv.org/abs/2009.03485
Autor:
Fujiwara, Makoto, Kawai, Tatsuji
The uniform continuity theorem (UCT) states that every pointwise continuous real-valued function on the unit interval is uniformly continuous. In constructive mathematics, UCT is stronger than the decidable fan theorem (DFT); however, Loeb [Ann. Pure
Externí odkaz:
http://arxiv.org/abs/1912.02432
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.