The TRUTH of our existence has not been detected by science so far. Why does theoretical physics know nothing about the essence of space, matter, energy and time? How can we come to the true knowledge about our existence? Let us look at the reason of critical situation in contemporary theoretical physics and show how critical logical thinking and reasoning can open the door to the truth. I am s...

A careful exposition of Zilber’s quasiminimal excellent classes and their categoricity is given, leading to two new results: the Lω1,ω(Q)definability assumption may be dropped, and each class is determined by its model of dimension א0. Boris Zilber developed quasiminimal excellent classes in [Zil05], in order to prove that his conjectural description of complex exponentiation was categorical. T...

We show the properties of the blowup limits of Kähler Ricci flow solutions on Fano surfaces if Riemannian curvature is unbounded. As an application, on every toric Fano surface, we prove that Kähler Ricci flow converges to a Kähler Ricci soliton metric if the initial metric has toric symmetry. Therefore we give a new Ricci flow proof of existence of Kähler Ricci soliton metrics on toric surfaces.

one of the issues raised in the discussion knowledge of god, is the existence of different stage in this regard. despite the unity and simplicity of god and apparent similarity of knowers in existence, however, it is a question that why this plurality exist? mulla sadra, according to his philosophical principles like copulative existing of caused to cause, ontological approach to knowledge and ...

Varieties with log terminal and log canonical singularities are considered in the Minimal Model Program, see [KMM] for introduction. In [SH2] it was conjectured that many of the interesting sets, associated with these varieties have something in common: they satisfy the ascending chain condition, which means that every increasing chain of elements terminates (in [SH2] it was called the upper se...

We establish the dichotomy property of [7] for multi-conclusion stable canonical rules of [1]. This yields an alternative proof of existence of bases of admissible rules for such well-known systems as IPC, S4, and K4.

In [I] we introduced the notion of transfer from a group over a local field to an associated endoscopic group, but did not prove its existence, nor do we do so in the present paper. Nonetheless we carry out what is probably an unavoidable step in any proof of existence: reduction to a local statement at the identity in the centralizer of a semisimple element, a favorite procedure of Harish Chan...

In this note, we prove the existence of Nash equilibria in infinite normal form games with compact sets of strategies and continuous payoffs by constructing Nash mappings. © 2010 Elsevier Ltd. All rights reserved.