Abstract:Invertibility is important in ring theory because it enables division and facilitates solving equations. Moreover, (nonassociative) rings can be endowed with an extra ''structure'' such as order and topology allowing more richness in the theory. The two main theorems of this article are contributions to invertibility in the context of partially ordered nonassociative rings \textit{and} Hausdorff sequentially Cauchy-complete weak-quasi-topological nonassociative rings. Specifically, the first theorem asserts that the interval $]0,1]$ in any suitable partially ordered nonassociative ring consists entirely of invertible elements. The second theorem asserts that if $f$ is a suitably generalized concept of seminorm from a nonassociative ring to a partially ordered nonassociative ring endowed with Frink's interval topology, then under certain conditions, the subset of elements such that $f(1-a) < 1$ consists entirely of invertible elements. Part of the assumption of the second theorem is that of Hausdorff sequential Cauchy-completeness of the first ring under the topology induced by the seminorm $f$ (which takes values in a partially ordered nonassociative ring endowed with Frink's interval topology). Frink's interval topology is an example of a coarse locally-convex $T_1$ topology. Moreover, to our knowledge, the topology induced by a seminorm into a partially ordered nonassociative ring has never been introduced. Some additional original facts, such as the fact that the topology on a nonassociative ring $R_1$ induced by a norm into a totally ordered associative division ring $R_2$ endowed with Frink's interval topology (or equivalently, with the order topology, since the order of $R_2$ is total) is a Hausdorff locally convex quasi-topological group with an additional separate continuity property of the product, are dealt with in the second section ''Preliminaries''.

Invertibility in the misère multiverse

Graph Invertibility

A Consequence of Invertibility on the Normal Form of a MIMO Nonlinear Systems

Coinductive Invertibility in Higher Categories

Infinitely many absolute universes

Inconsistency of inaccessibility

Invertibility Of Irreducible Matrices

Invertibility of Discrete-Time Linear Systems with Sparse Inputs

Invertibility of Digraphs and Tournaments

Independence and Induction in Reverse Mathematics

Invertibility of quasiconformal operators

A note concerning the invertibility of certain alternant matrices

Almost Invertible Operators

Strongly One-Sided [math]-Inverses in Rings

The Vandermonde Matrix in the Commutative Case

Invertibility in partially ordered nonassociative rings and in Hausdorff Cauchy-complete weak-quasi-topological nonassociative rings endowed with an ordered ring valued seminorm

From Möbius inversion to renormalisation

Inversion by Partial Evaluation: A Reversible Interpreter Experiment

Invertibility of Condensation Defects and Symmetries of 2 + 1d QFTs

Invariance under permutations as a semantic motivation for Stratification

The taming of the Reverse Mathematics zoo