Two non-isomorphic structures with the same number of elements

[white paper: pedagogical]

DOWNLOAD

For pedagogical purposes, we define a simple language to show that two different structures with the same number of elements in their universes are not isomorphic.

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 234, 2021 [JE]

The isomorphism between structures is an equivalence relation

[white paper: pedagogical]

DOWNLOAD

We present a pedagogical proof that the function of an isomorphism between two structures is an equivalence relation.

https://doi.org/10.31219/osf.io/7uwnh

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 233, 2021 [JD]

The terms of a language with one constant, one binary function, and one 4-ary function have an odd number of symbols

[white paper: pedagogical]

DOWNLOAD

We show using induction on complexity that all terms of a language with one constant, one binary function, and one 4-ary function have an odd number of symbols.

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 231, 2021 [JB]

Goldbach Conjecture, Twin Primes Conjecture, and Bounded Gap Theorem in the language of number theory

[white paper: pedagogical]

DOWNLOAD

We write the formulas of the theorem and the conjectures highlighted in the title of this white paper in the language of number theory for pedagogical purpose in first-order logic.

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

Open Mathematics Collaboration

Op. J. Math. Phys.
Volume 3, Article 229, 2021 [IZ]