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

From MaRDI portal
Publication:3186059

DOI10.1142/S0219061316500045zbMath1436.03303arXiv1306.1936MaRDI QIDQ3186059

Alexander P. Kreuzer, Keita Yokoyama

Publication date: 8 August 2016

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1306.1936




Related Items (7)



Cites Work


This page was built for publication: On principles between ∑1- and ∑2-induction, and monotone enumerations