The power set has 2^n elements

[white paper: pedagogical]

DOWNLOAD

We prove that if A is a set consisting of n elements, then A has 2^n subsets.

https://doi.org/10.31219/osf.io/mptx7

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 230, 2021 [JA]

The membership relation

[knowledge base]

DOWNLOAD

The MEMBERSHIP RELATION and its underlying definitions are presented in this white paper (knowledge base).

https://doi.org/10.31219/osf.io/r9p2m

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 221, 2021 [IR]

A proof for Cantor-Schröder-Bernstein Theorem using the diagonal argument

DOWNLOAD

We prove Cantor-Schröder-Bernstein theorem using the diagonal argument.

https://doi.org/10.31219/osf.io/2qkpx

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 210, 2021 [IG]

A unidimensional windmill in the plane with varying pivot points

DOWNLOAD

We show that we can choose a point in the plane such that the resulting windmill process with varying pivot uses each point of the plane infinitely many times.

https://doi.org/10.31219/osf.io/mwkaf

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 2, Article 148, 2020 [FT]

The power set of power sets

[microreview]

DOWNLOAD

We compute P(P(P(0))), where P(0) is the power set of the empty set.

https://doi.org/10.31219/osf.io/v5zyb

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 2, Article 90, 2020 [DM]