Citations of work:

Bahareh Afshari & Michael Rathjen (2010). A Note on the Theory of Positive Induction, {{Rm ID}^*_1}.

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.  3
    Proof-Theoretic Strengths of Weak Theories for Positive Inductive Definitions.Toshiyasu Arai - 2018 - Journal of Symbolic Logic 83 (3):1091-1111.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  3
    A Note on the Theory SID<Ω of Stratified Induction.Florian Ranzi & Thomas Strahm - 2014 - Mathematical Logic Quarterly 60 (6):487-497.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  36
    A Proof-Theoretic Account of Classical Principles of Truth.Graham E. Leigh - 2013 - Annals of Pure and Applied Logic 164 (10):1009-1024.
    This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh and Rathjen.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation