Abstract:The present paper continues our foundational work on real algebra with preordered commutative semifields and semirings. We prove two abstract Vergleichsstellensätze for preordered commutative semirings of polynomial growth. These generalize the results of Part I by no longer assuming $1 \ge 0$. Such a generalization comes with substantial technical complications: our Vergleichsstellensätze now also need to take into account infinitesimal information encoded in the form of monotone derivations in addition to the monotone homomorphisms to the nonnegative reals and tropical reals. The auxiliary technical results we develop along the way include surprising implications between inequalities in preordered semifields and a type classification for multiplicatively Archimedean fully preordered semifields. Among other applications, two companion papers use these results in order to derive limit new results in probability and information theory; one on asymptotics of random walks on topological abelian groups, and the other on the asymptotics of matrix majorization.

Arithmetical Semirings

Asymptotic Expansion of Warlimont Functions on Wright Semigroups

A characterization of arithmetical invariants by the monoid of relations II: The monotone catenary degree and applications to semigroup rings

On Arithmetical Structures on Complete Graphs

Isomorphisms of graphs of Hyperbinary Expansions and Efficient Algorithms for Stern's Diatomic Sequence

On the cop number and the weak Meyniel's conjecture for algebraic graphs

Graphs of Reduced Words and Some Connections

Grothendieck rings of polytopes and non-archimedean semi-algebraic sets

Arithmetical Structures on Wheel Graphs

Abundance: Asymmetric graph removal lemmas and integer solutions to linear equations

Abstract Vergleichsstellensätze for preordered semifields and semirings II

Some remarks on the ring of arithmetical functions

Applications of the Graph Minor Theorem to algebraic structures I

The unitary Cayley graph of a semiring

Matroids and semirings attached to toric singularity arrangements

On the number of subdirect products involving semigroups of integers and natural numbers

On the Bieri-Neumann-Strebel-Renz $Σ^1$-invariant of even Artin groups

2-Selmer Groups and the Birch-Swinnerton-Dyer Conjecture for the Congruent Number Curve

Commuting graphs of $p$-adic matrices

Critical Groups of Arithmetical Structures on Star Graphs and Complete Graphs

Θ-Congruent Numbers, Tiling Numbers and the Selmer Rank of Related Elliptic Curves: Odd N