Two Proof-Theoretic Remarks on EA + ECT
暂无分享,去创建一个
[1] Robert C. Flagg. Integrating classical and intuitionistic type theory , 1986, Ann. Pure Appl. Log..
[2] Harvey M. Friedman,et al. The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic , 1989, J. Symb. Log..
[3] Stewart Shapiro,et al. Epistemic and Intuitionistic Arithmetic , 1985 .
[4] Robert C. Flagg,et al. Church's Thesis is Consistent with Epistemic Arithmetic , 1985 .
[5] Nicolas D. Goodman. Flagg Realizability in Arithmetic , 1986, J. Symb. Log..
[6] Leon Horsten,et al. Provability in Principle and Controversial Constructivistic Principles , 1997, J. Philos. Log..
[7] Harvey M. Friedman,et al. Classically and intuitionistically provably recursive functions , 1978 .
[8] M. Beeson. Foundations of Constructive Mathematics , 1985 .
[9] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .