Results 51 to 60 of about 339,707 (116)

The Surprise Examination Paradox and the Second Incompleteness Theorem [PDF]

, 2010
We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examination paradox.
Raz, Ran, Kritchman, Shira
core   +1 more source

Disproof of Bell's Theorem [PDF]

, 2011
We illustrate an explicit counterexample to Bell's theorem by constructing a pair of dichotomic variables that exactly reproduce the EPR-Bohm correlations in a manifestly local-realistic ...
Christian, Joy
core  

Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem [PDF]

, 2003
Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction ...
Itamar Pitowsky, Pitowsky, Itamar, Ehud Hrushovski, Hrushovski, Ehud   +3 more
core  

A Theorem on Preference Aggregation [PDF]

I present a general theorem on preference aggregation. This theorem implies, as corollaries, Arrow's Impossibility Theorem, Wilson's extension of Arrow's to non-Paretian aggregation rules, the Gibbard-Satterthwaite Theorem and Sen's result on the ...
Salvador Barberà
core  

Further Results on Lusin’s Theorem for Uncertain Variables

Symmetry
In order to treat the degree of belief rationally, Baoding Liu created uncertainty theory. An uncertain variable, as a measurable function from an uncertainty space to the set of real numbers, is a basic concept in uncertainty theory. It is very meaningful to study its properties.
Deguo Yang, Zhaojun Zong, Feng Hu 0002
openaire   +1 more source

A Unifying Impossibility Theorem [PDF]

This paper considers social choice correspondences assigning a choice set to each non-empty subset of social alternatives. We impose three requirements on these correspondences: unanimity, independence of preferences over infeasible alternatives and ...
Shino Takayama, Priscilla Man
core  

An extension of Eegoroff’s and Lusin’s theorems in operator-valued case

Filomat, 2018
Here, we extend three basic facts from classical measure theory to operator-valued case. At first we show that operator-valued measurable functions may be approximated by simple ones. In the sequel, two fundamental theorems Egoroff and Lusin are extended in operator-valued case.
Bagheri-Bardi, G. A., Kkosheghbal-Ghorabayi, M.   +1 more
openaire   +2 more sources

Dilworth's Theorem Revisited, an Algorithmic Proof [PDF]

Dilworth's theorem establishes a link between a minimal path cover and a maximal antichain in a digraph.A new proof for Dilworth's theorem is given. Moreover an algorithm to find both the path cover and the antichain, as considered in the theorem, is ...
Potharst, R., Pijls, W.H.L.M.
core  

An analogue of Bauer’s theorem for closed orbits of skew products [PDF]

, 2008
In this article we prove an analogue of Bauer’s theorem from algebraic number theory in the context of hyperbolic ...
Mark Pollicott, Parry, William, Pollicott, Mark, William Parry   +3 more
core   +1 more source

An analog of the Lusin-Privaloff radial uniqueness theorem [PDF]

Proceedings of the American Mathematical Society, 1970
1. Let D={IzI 0 for each subarc A' of A. Barth and Schneider have proved the following analog of the F. and M. Riesz uniqueness theorem for bounded holomorphic functions.
openaire   +2 more sources