Axiom výběru a hypotéza kontinua – souvislosti a rozdíly

Teorie Vědy / Theory of Science 45 (1):67-93 (2023)
  Copy   BIBTEX

Abstract

We compare two well-known set-theoretical statements, namely the axiom of choice and the continuum hypothesis, with regard to their historical development and formulation, as well as their consequences in mathematics. It is known that both statements are independent from the other axioms of set theory (if they are consistent). The axiom of choice – despite initial controversies – is today almost universally accepted as an axiom. However, the status of the continuum hypothesis is more complex and no agreement has been found so far: both the continuum hypothesis and its negation (often as consequences of stronger statements) decide several mathematical problems differently, but in contrast with the axiom of choice it is not clear which of the two solutions should be the “correct” one (in the sense of an agreement within the community).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
Heideggerův výklad experimentálního charakteru novověké vědy.Aleš Novák - 2010 - Teorie Vědy / Theory of Science 32 (3):341-360.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
Rigit Unary Functions and the Axiom of Choice.Wolfgang Degen - 2001 - Mathematical Logic Quarterly 47 (2):197-204.
High-Order Metaphysics as High-Order Abstractions and Choice in Set Theory.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (21):1-3.
Extending Independent Sets to Bases and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (1):92-98.
Strong analogues of Martin's axiom imply axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.

Analytics

Added to PP
2022-09-17

Downloads
10 (#1,199,114)

6 months
9 (#317,373)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references