The notion of Infinity within the Zermelo system and its relation to the Axiom of Countable Choice

Research output: Contribution to journalArticlepeer-review

37 Downloads (Pure)

Abstract

In this article we consider alternative definitions-descriptions of a set being Infinite within theprimitive Axiomatic System of Zermelo, Z . We prove that in this system the definitions ofsets being Dedekind Infinite, Cantor Infinite and Cardinal infinite are equivalent each other.
Additionally, we show that assuming the Axiom of Countable Choice,
these definitions are also equivalent to the definition of a set being Standard Infinite, that is, of not being finite. Furthermore, we show that Dedekind infinitness is weaker than Axiom of Countable Choice
Original languageEnglish
Pages (from-to)39-66
Number of pages27
JournalTheoretical Mathematics & Applications
Volume6
Issue number1
Publication statusPublished - Jan 2016

Keywords

  • Axiomatic Set Theory
  • Logic
  • Foundation of Mathematics

Fingerprint

Dive into the research topics of 'The notion of Infinity within the Zermelo system and its relation to the Axiom of Countable Choice'. Together they form a unique fingerprint.

Cite this