AN ANALYSIS OF SPECTOR CLASSES ASSOCIATED WITH QUASI-INDUCTIVE DEFINITIONS

Project Details

StatusFinished
Effective start/end date1/10/081/10/09

Research Output

  • 1 Article (Academic Journal)

Weak Systems of determinacy and arithmetical quasi-inductive definitions

Welch, P. D., Jun 2011, In : Journal of Symbolic Logic. 76, 2, p. 418-436 19 p.

Research output: Contribution to journalArticle (Academic Journal)

14 Citations (Scopus)