AXIOM OF CHOICE AND ZORN'S LEMMA IN CANTOR CATEGORIES
| Autor: | Hitoshi Furusawa, Norihiro Tsumagari, Yasuo Kawahara |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
TheoryofComputation_MISCELLANEOUS
Lemma (mathematics) Ocean Engineering Zorn's lemma Dedekind categories Combinatorics Mathematics::Logic TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES axiom of choice TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Computer Science::Logic in Computer Science Cantor categories fixpoint theorem Axiom of choice Mathematics |
| Zdroj: | Bulletin of informatics and cybernetics. 49:11-34 |
| ISSN: | 0286-522X |
| Popis: | 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 relational calculus. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|