AXIOM OF CHOICE AND ZORN'S LEMMA IN CANTOR CATEGORIES - Collections

＜journal article＞
AXIOM OF CHOICE AND ZORN'S LEMMA IN CANTOR CATEGORIES

Creator	Creator Name Furusawa, Hitoshi 古澤, 仁フルサワ, ヒトシ Affiliation Affiliation Name Department of Mathematics and Computer Science, Kagoshima University 鹿児島大学
	Author PID 90091181 Creator Name Kawahara, Yasuo 河原, 康雄カワハラ, ヤスオ Affiliation Affiliation Name Kyushu University : Professor Emeritus 九州大学 : 名誉教授
	Author PID 70632834 Creator Name Tsumagari, Norihiro 津曲, 紀宏ツマガリ, ノリヒロ Affiliation Affiliation Name Center for Education and Innovation, Sojo University 崇城大学
Language	English
Publisher	Research Association of Statistical Sciences
Publisher	統計科学研究会
Date	2017-12
Source Title	Bulletin of informatics and cybernetics
Vol	49
First Page	11
Last Page	34
Publication Type	Version of Record
Access Rights	open access
Crossref DOI	https://doi.org/10.5109/2232319
Abstract	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.show more

File	FileType	Size	Views	Description
2Furusawa	pdf	147 KB	462

PISSN	0286-522X
EISSN	2435-743X
NCID	AA10634475
Record ID	2232319
Peer-Reviewed	Refereed
Subject Terms	Dedekind categories
	Cantor categories
	fixpoint theorem
	axiom of choice
	Zorn's lemma
Funding Information	Funder Name 日本学術振興会 Japan Society for the Promotion of Science Award Number 25330016 Award Title 並行性の準等式系 Quasiequational system for concurrency
Funding Information	Funder Name 日本学術振興会 Japan Society for the Promotion of Science Award Number 16K21557 Award Title 関係的・代数的手法による確率的システムの解析 Analysis of probabilistic systems by relational and algebraic methods
Created Date	2019.04.23
Modified Date	2020.10.22