This is a personal collection of definitions and results from first-order logic.
https://doi.org/10.31219/osf.io/8wck9
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 252, 2021 [JX]
Author: Matheus Lobo, PhD
Open Scientist.
Categories in symbols
An introduction to the language of category theory is presented in a very minimalistic fashion, using the fewest number of symbols as possible. In this white paper, the focus is on the main concepts underlying categories.
https://doi.org/10.31219/osf.io/k9fbc
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 247, 2021 [JR]
The undecidable dynamics generate quantum probabilities
We conjecture a new approach to quantum mechanics that, if confirmed, will explain the wave function from a fundamentally deeper level.
https://doi.org/10.31219/osf.io/hfc82
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 242, 2021 [JM]
Lyapunov exponents for the Lorentz transformations
[microresearch]
We calculate the Lyapunov exponents of the complex stretch factor $f^-(z)=(1-z^2)^{-1/2}$ from the Lorentz transformations and of its reciprocal $f^+(z)=(1-z^2)^{+1/2}$ as well.
https://doi.org/10.31219/osf.io/jsncm
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 239, 2021 [JJ]
Time is a discrete dynamical system
We conjecture that quantum vacuum operates its discrete dynamics in a superposition of a class of iterating functions such that each physical system operates within a distinct function.
https://doi.org/10.31219/osf.io/8f4yg
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 238, 2021 [JI]
The logistics of quantum spacetime
[conjecture]
We conjecture that quantum superposition is the result of the existence of different orbits in the logistic equation due to quantum interactions in spacetime.
https://doi.org/10.31219/osf.io/s2dnt
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 236, 2021 [JG]
Two non-isomorphic structures with the same number of elements
[white paper: pedagogical]
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]
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]
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]
The power set has 2^n elements
[white paper: pedagogical]
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]
Goldbach Conjecture, Twin Primes Conjecture, and Bounded Gap Theorem in the language of number theory
[white paper: pedagogical]
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]
A linear algebra
[knowledge base]
LINEAR ALGEBRA and its underlying definitions are presented in this white paper (knowledge base).
https://doi.org/10.31219/osf.io/8emp4
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 225, 2021 [IV]
Linear Transformations
[knowledge base]
LINEAR TRANSFORMATION and its underlying definitions are presented in this white paper [knowledge base (http://omkb.org)].
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 224, 2021 [IU]
Every group is isomorphic to a group of permutations
[knowledge base]
CAYLEY’s THEOREM, the SYMMETRIC GROUP THEOREM, and their underlying definitions are presented in this white paper (knowledge base = http://omkb.org).
https://doi.org/10.31219/osf.io/63pmy
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 223, 2021 [IT]
A semigroup with a left identity and left inverse is a group
[pedagogical]
We translate the proof of the theorem stated in the title, accomplished by Prover9, into a human readable form.
https://doi.org/10.31219/osf.io/wsbne
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 222, 2021 [IS]
The membership relation
[knowledge base]
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]
Modules over Rings
[knowledge base]
MODULES over RINGS and its underlying definitions are presented in this white paper (knowledge base).
https://doi.org/10.31219/osf.io/xjsc7
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 220, 2021 [IQ]
Vector space over a field
[knowledge base]
VECTOR SPACE OVER A FIELD and its underlying definitions are presented in this white paper (knowledge base).
https://doi.org/10.31219/osf.io/g6ux5
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 219, 2021 [IP]
Field, commutative ring, integral domain
[knowledge base]
FIELD, three propositions, and their underlying definitions are presented in this white paper (knowledge base).
https://doi.org/10.31219/osf.io/wmjst
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 217, 2021 [IN]
RINGS: Almost a ring, semiring, zero, integral domain
[knowledge base]
RING, commutative ring, almost a ring, semiring, zero ring, zero property, zero divisors, domain, integral domain, and their underlying definitions are presented in this white paper (knowledge base).
https://doi.org/10.31219/osf.io/bzugr
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 216, 2021 [IM]
Cyclic Group
[knowledge base]
CYCLIC GROUP and its underlying definitions are presented in this white paper (knowledge base).
https://doi.org/10.31219/osf.io/nvkab
Open Mathematics Collaboration
Op. J. Math. Phys.
Volume 3, Article 215, 2021 [IL]
Open Journal of Mathematics and Physics 