A consistency proof as system including Feferman's ID by Takeuti's reduction method - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 OA A consistency proof as system including Feferman's ID by Takeuti's reduction method

著者: Arai Toshiyasu
出版者: Institute of Mathematics, University of Tsukuba
雑誌: Tsukuba journal of mathematics (ISSN:03874982)
巻号頁・発行日: vol.11, no.2, pp.227-239, 1987-12

2014-05-11 00:44:20
1 + 1 Twitter

http://hdl.handle.net/2241/11535

言及状況

Twitter (1 users, 1 posts, 1 favorites)

今日はArai ``A consistency proof as system including Feferman's ID by Takeuti's reduction method” https://t.co/I7JhOLXYm7 を読んでいた．

1 @tri_iro

収集済み URL リスト

https://tsukuba.repo.nii.ac.jp/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=16281&item_no=1&page_id=13&block_id=83 (1)