On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory

Yatabe, S.

ダウンロード数: 143

http://hdl.handle.net/2433/199938

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
jzt045.pdf		127.09 kB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	Yatabe, S.	en
dc.contributor.alternative	矢田部, 俊介	ja
dc.date.accessioned	2015-10-02T04:23:40Z	-
dc.date.available	2015-10-02T04:23:40Z	-
dc.date.issued	2014-06-23	-
dc.identifier.issn	1367-0751	-
dc.identifier.uri	http://hdl.handle.net/2433/199938	-
dc.description.abstract	We show that the crispness of ω is not provable in a constructive naive set theory CONS in FLew ∀, intuitionistic predicate logic minus the contraction rule. In the proof, we construct a circularly defined object fix, a fixed point of the successor function suc, by using a fixed-point theorem.	en
dc.format.mimetype	application/pdf	-
dc.language.iso	eng	-
dc.publisher	Oxford University Press	en
dc.rights	This is a pre-copyedited, author-produced PDF of an article accepted for publication in [Logic Journal of the IGPL] following peer review. The version of record [Shunsuke Yatabe. On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory. Logic Jnl IGPL (2014) 22 (3): 482-493 first published online November 21, 2013. doi:10.1093/jigpal/jzt045] is available online at: http://jigpal.oxfordjournals.org/content/22/3/482.	en
dc.rights	この論文は出版社版でありません。引用の際には出版社版をご確認ご利用ください。	ja
dc.rights	This is not the published version. Please cite only the published version.	en
dc.subject	Naive set theory	en
dc.subject	the comprehension principle	en
dc.subject	contraction-free logic	en
dc.subject	non-well founded set theory	en
dc.subject	bisimulation	en
dc.title	On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory	en
dc.type	journal article	-
dc.type.niitype	Journal Article	-
dc.identifier.jtitle	Logic Journal of IGPL	en
dc.identifier.volume	22	-
dc.identifier.issue	3	-
dc.identifier.spage	482	-
dc.identifier.epage	493	-
dc.relation.doi	10.1093/jigpal/jzt045	-
dc.textversion	author	-
dc.startdate.bitstreamsavailable	2015-06-23	-
dcterms.accessRights	open access	-
出現コレクション:	学術雑誌掲載論文等

アイテムの簡略レコードを表示する

Export to RefWorks

このリポジトリに保管されているアイテムはすべて著作権により保護されています。