Results 41 to 50 of about 326,752 (99)
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
A proof of the four-colour theorem
, 2013 The four-colour problem remained unsolved for more than a hundred years has played a role of the utmost importance in the development of graph theory. The four-colour theorem was confirmed in 1976, which is not completely satisfied due to: i) part of the
Xing, Jing Tang
core +1 more source
A stronger noncommutative Egoroff's theorem
, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Akemann, Charles A., Bagheri-Bardi, G.A.
openaire +2 more sources
A generalisation of the nonlinear small-gain theorem for systems with abstract initial conditions
, 2013 We consider the development of a general nonlinear small-gain theorem for systems with abstract initial conditions. Systems are defined in a set theoretic manner from input-output pairs on a doubly infinite time axis, and a general construction of the ...
Jing Liu +3 more
core +2 more sources
Disproof of Bell's Theorem: Further Consolidations [PDF]
, 2007 The failure of Bell's theorem for Clifford algebra valued local variables is further consolidated by proving that the conditions of remote parameter independence and remote outcome independence are duly respected within the recently constructed exact ...
Christian, Joy
core
Kochen-Specker theorem for von Neumann algebras [PDF]
, 2005 The Kochen-Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence of a certain kind of hidden states models. In this paper, we first offer a
Döring, Andreas
core
INTERPOLATION THEOREM FOR NONCOMMUTATIVE STANDARD EXTENSIONS OF LOGIC BB’I [PDF]
, 2004 Maehara in [Maehara, 1960/1961] introduces a proof-theoretical method for proving the interpolation theorem for standard logics. In the present paper we modify Maehara’s method to prove the interpolation theorem for the systems LBB’IK, LBB’IW and LBB’IKW
SURARSO, BAYU +1 more
core +2 more sources
Addendum To a Note on Egoroffs Theorem [PDF]
Journal of the London Mathematical Society, 1960 openaire +1 more source
The Champions League and the Coase Theorem [PDF]
The Coase Theorem is both one of the simplest and most profound ideas in economics. Coase’s insight was first expressed in print as a theorem by George Stigler, following the publication of the famous article “The Problem of Social Cost” by Nobel ...
Stefan Szymanski
core