12 found
Order:
  1.  13
    Interrelation Between Weak Fragments of Double Negation Shift and Related Principles.Makoto Fujiwara & Ulrich Kohlenbach - 2018 - Journal of Symbolic Logic 83 (3):991-1012.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  2
    Prenex Normal Form Theorems in Semi-Classical Arithmetic.Makoto Fujiwara & Taishi Kurahashi - 2021 - Journal of Symbolic Logic 86 (3):1124-1153.
    Akama et al. [1] 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 semi-classical principles restricted to prenex formulas. However, there are some errors in their proof. In this paper, we provide a simple counterexample of their prenex normal form theorem [1, Theorem 2.7], then modify it in an appropriate way which still serves (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  15
    Equivalence of Bar Induction and Bar Recursion for Continuous Functions with Continuous Moduli.Makoto Fujiwara & Tatsuji Kawai - 2019 - Annals of Pure and Applied Logic 170 (8):867-890.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  12
    Some Principles Weaker Than Markov’s Principle.Makoto Fujiwara, Hajime Ishihara & Takako Nemoto - 2015 - Archive for Mathematical Logic 54 (7-8):861-870.
    We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle. We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  16
    On the Strength of Marriage Theorems and Uniformity.Makoto Fujiwara, Kojiro Higuchi & Takayuki Kihara - 2014 - Mathematical Logic Quarterly 60 (3):136-153.
  6.  4
    Refining the Arithmetical Hierarchy of Classical Principles.Makoto Fujiwara & Taishi Kurahashi - 2022 - Mathematical Logic Quarterly 68 (3):318-345.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Conservation Theorems on Semi-Classical Arithmetic.Makoto Fujiwara & Taishi Kurahashi - forthcoming - Journal of Symbolic Logic:1-28.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Δ10\documentclass[12pt]{Minimal} \usepackage{Amsmath} \usepackage{Wasysym} \usepackage{Amsfonts} \usepackage{Amssymb} \usepackage{Amsbsy} \usepackage{Mathrsfs} \usepackage{Upgreek} \setlength{\oddsidemargin}{-69pt} \begin{Document}$$\delta ^0_1$$\end{Document} Variants of the Law of Excluded Middle and Related Principles. [REVIEW]Makoto Fujiwara - 2022 - Archive for Mathematical Logic 61 (7-8):1113-1127.
    We systematically study the interrelations between all possible variations of Δ10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Delta ^0_1$$\end{document} variants of the law of excluded middle and related principles in the context of intuitionistic arithmetic and analysis.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  17
    Classical Provability of Uniform Versions and Intuitionistic Provability.Makoto Fujiwara & Ulrich Kohlenbach - 2015 - Mathematical Logic Quarterly 61 (3):132-150.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  2
    $$\delta ^0_1$$ Variants of the Law of Excluded Middle and Related Principles.Makoto Fujiwara - 2022 - Archive for Mathematical Logic 61 (7):1113-1127.
    We systematically study the interrelations between all possible variations of \(\Delta ^0_1\) variants of the law of excluded middle and related principles in the context of intuitionistic arithmetic and analysis.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  7
    Characterising Brouwer’s continuity by bar recursion on moduli of continuity.Makoto Fujiwara & Tatsuji Kawai - 2021 - Archive for Mathematical Logic 60 (1):241-263.
    We identify bar recursion on moduli of continuity as a fundamental notion of constructive mathematics. We show that continuous functions from the Baire space \ to the natural numbers \ which have moduli of continuity with bar recursors are exactly those functions induced by Brouwer operations. The connection between Brouwer operations and bar induction allows us to formulate several continuity principles on the Baire space stated in terms of bar recursion on continuous moduli which naturally characterise some variants of bar (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  2
    Decidable Fan Theorem and Uniform Continuity Theorem with Continuous Moduli.Makoto Fujiwara & Tatsuji Kawai - forthcoming - Mathematical Logic Quarterly.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark