Journal of Mathematical Logic. 2016;16(1):1650004-. doi: 10.1142/S0219061316500045 Q10.92025

On principles between ∑1- and ∑2-induction, and monotone enumerations

Kreuzer, Alexander P.; Yokoyama, Keita

DOI: 10.1142/S0219061316500045

摘要

期刊名：Journal of mathematical logic

缩写：J MATH LOG

ISSN：0219-0613

e-ISSN：1793-6691

IF/分区：0.9/Q1

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：