关于分层归纳理论SID<ω的注记

弗洛里安·兰齐,托马斯·斯特拉姆.关于分层归纳理论SID<ω的注记.数学。日志。问:。, 60(6):487-497,2014 [美国国防部]

摘要

缺少摘要。