Related papers: The Coase Theorem and Ideal Exchanges

In quantum process tomography, it is possible to express the experimenter's prior information as a sequence of quantum operations, i.e., trace-preserving completely positive maps. In analogy to de Finetti's concept of exchangeability for…

We determine sufficient structure for an elementary topos to emulate E. Nelson's Internal Set Theory in its internal language, and show that any topos satisfying the internal axiom of choice occurs as a universe of standard objects and…

A Galois correspondence theorem is proved for the case of inverse semigroups acting orthogonally on commutative rings as a consequence of the Galois correspondence theorem for groupoid actions. To this end, we use a classic result of…

We begin by investigating the class of commutative unital rings in which no two distinct elements divide the same elements. We prove that this class forms a finitely axiomatizable, relatively ideal distributive quasivariety, and it equals…

We develop a semigroup-theoretic analogue of liaison for relative ideals of a numerical semigroup. Two parallel linkage notions are proposed: a theory based on translates of the semigroup and a theory based on translates of the canonical…

We study the Lie algebra structure of the Onsager algebra from the ideal theoretic point of view. A structure theorem of ideals in the Onsager algebra is obtained with the connection to the finite-dimensional representations. We also…

We show that a suitable ring with a ``nice'' topology, in which convergent limits of units are units, is an \aleph_0-exchange ring. We generalize the argument to show that a semi-regular ring, R, with a ``nice'' topology, is a full exchange…

In this paper, we introduce a semantics of realisability for the classical propositional natural deduction and we prove a correctness theorem. This allows to characterize the operational behaviour of some typed terms.

We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.

It is discussed that Zeeman's theorem can be directly obtained from Liouville's theorem if we assume sufficient differentiability.

In this paper, we introduce the concept of ideal on CL-algebra. It is proved that this concept generalizes the notion of ideal on Residuated Lattices. Prime ideal on CL-algebra are defined and few interesting properties are obtained. It has…

Proposed is system of consistent mathematical models describing physical laws of a system of energy emitting bodies in dynamics, relativity and nuclear physics. It is shown the use of developed models for the description of systems,…

This is an exposition of Gauss's proof of Descartes's rule of signs.

In this paper some new ways of generalizing perfect numbers are investigated, numerical results are presented and some conjectures are established.

We prove several extensions of the Erdos-Fuchs theorem.

A constructive procedure is given to determine all ideals of a solvable Lie algebra. This is used in determining algorithmically all conjugacy classes of subalgebras of a given solvable Lie algebra.

The aim of this article is to give a new proof of Cohen-Gabber theorem in the equal characteristic $p>0$ case.

We prove a weighted analogue of the Khintchine-Groshev Theorem, where the distance to the nearest integer is replaced by the absolute value. This is subsequently applied to proving the optimality of several linear independence criteria over…

This is a series of lecture notes explaining topos theory and its application in physics.

This article presents a generalization of the RSA cryptosystem for rings with commuting ideals. An analogue of the Euler function for ideals and the concept of an RSA-ideal are defined. An analog of a cryptosystem for the ring with…