Results 81 to 90 of about 339,707 (116)

The cycle contraction mapping theorem [PDF]

This report lays the foundation for a theory of total correctness for programs not based upon termination. The Cycle Contraction Mapping Theorem is both an extension of Wadge's cycle sum theorem for Kahn data flow and a generalisation of Banach's ...
Matthews, Stephen G.
core  

Belyi's theorem revisited

, 2004
We give an elementary, self-contained and quick proof of Belyi's theorem. As a by-product of our proof we obtain an explicit bound for the degree of the defining number field of a Belyi ...
Koeck, Bernhard
core   +1 more source

The Lusin-Menchoff Theorem in Metric Space [PDF]

Indiana University Mathematics Journal, 1971
openaire   +2 more sources

The theorem of existence of the ruptures in probability scale and the basic question of insurance [PDF]

The theorem of existence of the ruptures in the probability scale was proved in 2010. The theorem is used to analyze and to partially answer to the basic questions of insurance. The question is “To insure or not”. The goal of this paper is to reveal pure
Harin, Alexander
core  

Automated Theorem Proving A Logical Basis

, 1978
Automated Theorem Proving: A Logical ...
Loveland, D.W.
core  

Core Equivalence Theorem with Production [PDF]

In production economies, the extent to which non-equilibria are blocked depends on the allocation of control rights among shareholders, because a blocking coalition's resources are affected by the firms it jointly owns with outsiders.
Xiong, Siyang, Zheng, Charles Zhoucheng
core  

Lusin's theorem on areas of conformal maps.

Michigan Mathematical Journal, 1955
Piranian, G., Rudin, W.
openaire   +2 more sources

Calabresi, "law and economics" and the Coase theorem [PDF]

In this paper, we show that, in 1961 and before he had read "The Problem of Social Cost", Calabresi reached exactly the same conclusions as the one reached by Coase and summarized by Stigler as the "Coase theorem" but he believed that this result was ...
Alain Marciano
core  

What is special about the proportion? A research report on special majority voting and the classical Condorcet jury theorem [PDF]

It is known that, in Condorcet’s classical model of jury decisions, the proportion of jurors supporting a decision is not a significant indicator of that decision’s reliability: the probability that a particular majority decision is correct given the ...
Christian List
core  

A generalized FKKM theorem and variational inequality [PDF]

We present a generalized FKKM Theorem and it's application to the existence of solution for the variationals inequalities using a generalized coercivity type condition for correspondences defined in L-space.L-structure, L-spaces, L-KKM correspondences, L-
Hakim Hammami
core