The Recursively Mahlo Property in Second Order Arithmetic
作者:
Michael Rathjen,
期刊:
Mathematical Logic Quarterly
(WILEY Available online 1996)
卷期:
Volume 42,
issue 1
页码: 59-66
ISSN:0942-5616
年代: 1996
DOI:10.1002/malq.19960420106
出版商: WILEY‐VCH Verlag Berlin GmbH
关键词: Recursively Mahlo property;Mahlo ordinal;Superjump;Kripke‐Platek set theory;Admissible set;β‐model
数据来源: WILEY
摘要:
AbstractThe paper characterizes the second order arithmetic theorems of a set theory that features a recursively Mahlo universe; thereby complementing prior proof‐theoretic investigations on this notion. It is shown that the property of being recursively Mahlo corresponds to a certain kind of β‐model reflection in second order arithmetic. Further, this leads to a characterization of the reals recursively computable in the superjump functional.Mathematics Subject Classification:03F35, 03F15, 0
点击下载:
PDF
(388KB)
返 回