AXIOM OF CHOICE AND ZORN'S LEMMA IN CANTOR CATEGORIES - 九大コレクション

＜学術雑誌論文＞
AXIOM OF CHOICE AND ZORN'S LEMMA IN CANTOR CATEGORIES

作成者	作成者名 Furusawa, Hitoshi 古澤, 仁フルサワ, ヒトシ所属機関所属機関名 Department of Mathematics and Computer Science, Kagoshima University 鹿児島大学
	著者識別子 90091181 作成者名 Kawahara, Yasuo 河原, 康雄カワハラ, ヤスオ所属機関所属機関名 Kyushu University : Professor Emeritus 九州大学 : 名誉教授
	著者識別子 70632834 作成者名 Tsumagari, Norihiro 津曲, 紀宏ツマガリ, ノリヒロ所属機関所属機関名 Center for Education and Innovation, Sojo University 崇城大学
本文言語	英語
出版者	Research Association of Statistical Sciences
出版者	統計科学研究会
発行日	2017-12
収録物名	Bulletin of informatics and cybernetics
巻	49
開始ページ	11
終了ページ	34
出版タイプ	Version of Record
アクセス権	open access
Crossref DOI	https://doi.org/10.5109/2232319
概要	This paper relationally formulates the axiom of choice and Zorn's lemma. Based on the formalisation, well-known equivalence between the axiom of choice and Zorn's lemma is proved in a manner of relati...onal calculus.続きを見る

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
2Furusawa	pdf	147 KB	449

PISSN	0286-522X
EISSN	2435-743X
NCID	AA10634475
レコードID	2232319
査読有無	査読有
主題	Dedekind categories
	Cantor categories
	fixpoint theorem
	axiom of choice
	Zorn's lemma
助成情報	助成機関名日本学術振興会 Japan Society for the Promotion of Science 研究課題番号 25330016 研究課題名並行性の準等式系 Quasiequational system for concurrency
助成情報	助成機関名日本学術振興会 Japan Society for the Promotion of Science 研究課題番号 16K21557 研究課題名関係的・代数的手法による確率的システムの解析 Analysis of probabilistic systems by relational and algebraic methods
登録日	2019.04.23
更新日	2020.10.22