Results 31 to 40 of about 326,752 (99)

Carnot rectifiability and Alberti representations

Proceedings of the London Mathematical Society, Volume 130, Issue 1, January 2025.
Abstract A metric measure space is said to be Carnot‐rectifiable if it can be covered up to a null set by countably many bi‐Lipschitz images of compact sets of a fixed Carnot group. In this paper, we give several characterisations of such notion of rectifiability both in terms of Alberti representations of the measure and in terms of differentiability ...
G. Antonelli, E. Le Donne, A. Merlo
wiley   +1 more source

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  

Applications of real number theorem proving in PVS [PDF]

, 2012
This work is supported by funding from the EPSRC under grants EP/H500162, EP/F02309X and GR/S31242Real number theorem proving has many uses, particularly for verification of safety critical systems and systems for which design errors may be costly.
Martin, Ursula, Ursula Martin, Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Gottliebsen, Hanne, Lightfoot, Olga, Hardy, Ruth   +7 more
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  

On the local-indicability cohen–lyndon theorem

, 2011
For a group H and a subset X of H, we let HX denote the set {hxh?1 | h ? H, x ? X}, and when X is a free-generating set of H, we say that the set HX is a Whitehead subset of H. For a group F and an element r of F, we say that r is Cohen–Lyndon aspherical
Antolin, Yago, Dicks, Warren, Linnell, Peter A., PETER A. LINNELL, YAGO ANTOLÍN, WARREN DICKS   +5 more
core   +1 more source

A Proof of Smarandache-Pătraşcu’s Theorem using Barycentric Coordinates [PDF]

, 2010
Proving the Smarandache–Pătraşcu’s Theorem in relation to the inscribed orthohomological triangles using the barycentric ...
Coandă, Claudiu
core   +1 more source

The Malgrange-Ehrenpreis Theorem [PDF]

, 2012
This paper collect of some proofs of the Malgrange-Ehrenpreis Theorem, which asserts the existence of fundamental solutions of linear partial differential operator with constant coefficients.Ribera Puchades, JM. (2011).
Ribera Puchades, Juan Miguel
core  

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

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  

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