Two situations with unit-cost: ordered abelian semi-groups and some commutative rings

- In Section 3 we apply the theorem of Matiyasevich in order to construct a ring with P≠NBP≠NP and such that its polynomial hierarchy does not collapse at any level.