THIS SUPPLEMENTAL MATERIAL contains the proofs of all the lemmas that do not appear in the printed Appendix to the paper. It also contains the statements of all these lemmas and details of the intervening arguments in the proofs of the propositions. These arguments appeared in the printed Appendix. It also contains a proof of existence for a more general model that implies Proposition 3(ii). Th...

Entropy Methods for Identifying Hedonic Models This paper contributes to the literature on hedonic models in two ways. First, it makes use of Queyranne’s reformulation of a hedonic model in the discrete case as a network flow problem in order to provide a proof of existence and integrality of a hedonic equilibrium and efficient computational techniques of hedonic prices. Second, elaborating on ...

In 2002, a method has been proposed by Buchholz et al. in the context of Local Quantum Physics, to characterize states that are locally in thermodynamic equilibrium. It could be shown for the model of massless bosons that these states exhibit quite interesting properties. The mean phase-space density satisfies a transport equation, and many of these states break time reversal symmetry. Moreover...

We give a concise definition of mitered offset surfaces for nonconvex polytopes in R, along with a proof of existence and a discussion of basic properties. These results imply the existence of 3D straight skeletons for general nonconvex polytopes. The geometric, topological, and algorithmic features of such skeletons are investigated, including a classification of their constructing events in t...

We consider the stationary flow of a heat conducting Power Law shear thinning fluid in a bounded domain in R2. We present an elementary proof of existence of at least one weak solution.

martyr sayyed mostafa khomeini is one of the contemporary philosophers who has grown in transcendent philosophy and has new doctrines in islamic philosophy. his only remained book, commentaries on the transcendent philosophy, contains his theories. but you can also find his special philosophical theories in his 29 volume books about fiqh, assets of fiqh, and interpretation. his big philosophica...

The existence of a natural and projectively equivariant quantization in the sense of Lecomte [20] was proved recently by M. Bordemann [4], using the framework of Thomas-Whitehead connections. We give a new proof of existence using the notion of Cartan projective connections and we obtain an explicit formula in terms of these connections. Our method yields the existence of a projectively equivar...

Among the many possible approaches to dealing with logical omniscience, I consider here awareness and impossible worlds structures. The former approach, pioneered by Fagin and Halpern, distinguishes between implicit and explicit knowledge, and avoids logical omniscience with respect to explicit knowledge. The latter, developed by Rantala and by Hintikka, allows for the existence of logically im...