Godel's second incompleteness theorem for Sigma(n)-definable theories

Chao, CD; Seraji, P

Chao, CD (reprint author), Peking Univ, Dept Philosophy, Room 223 Bldg 4th, Beijing 100872, Peoples R China.

LOGIC JOURNAL OF THE IGPL, 2018; 26 (2): 255

Abstract

Godel's second incompleteness theorem is generalized by showing that any Sigma(n+1)-definable and Sigma(n)-sound extension of Peano arithmetic (PA) ca......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索