Citations of work:

P. D. Welch (2011). Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions.

5 found
Order:
Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  6
    Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - forthcoming - Journal of Philosophical Logic:1-9.
  2.  4
    Determinacy of Refinements to the Difference Hierarchy of Co-Analytic Sets.Chris Le Sueur - 2018 - Annals of Pure and Applied Logic 169 (1):83-115.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  5
    The Ramified Analytical Hierarchy Using Extended Logics.Philip D. Welch - 2018 - Bulletin of Symbolic Logic 24 (3):306-318.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  4
    Determinacy in Third Order Arithmetic.Sherwood Hachtman - 2017 - Annals of Pure and Applied Logic 168 (11):2008-2021.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  21
    A Note on Theories for Quasi-Inductive Definitions.Riccardo Bruni - 2009 - Review of Symbolic Logic 2 (4):684-699.
    This paper introduces theories for arithmetical quasi-inductive definitions (Burgess, 1986) as it has been done for first-order monotone and nonmonotone inductive ones. After displaying the basic axiomatic framework, we provide some initial result in the proof theoretic bounds line of research (the upper one being given in terms of a theory of sets extending Kripke–Platek set theory).
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark