Now showing items 51-60 of 357
Complete topoi representing models of set theory
(Elsevier, 1992-05-06)
By a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allowing atoms (ZFA), which contains a copy of the ordinary universe of (two-valued,pure) sets as a transitive subclass; examples include ...
The ne plus ultra of tree graph inequalities
(Kluwer Academic Publishers; Springer Science+Business Media, 1990-05)
With nary mention of a tree graph, we obtain a cluster expansion bound that includes and vastly generalizes bounds as obtained by extant tree graph inequalities. This includes applications to both two-body and many-body ...
Two Banach space methods and dual operator algebras
(Elsevier, 1988-06)
In this paper we present several new slightly nonlinear variants of the bipolar and the open mapping theorems in Banach spaces, which we abstracted from the recent developments in the theory of dual operator algebras.A new ...
Rootsystems of simple Lie algebras
(Elsevier, 1985-11)
Rootsystems of nonclassical simple Lie algebras L = [summation operator]a[epsilon]R La such that a([e,f]) [not equal to] 0 for some e[epsilon]L'a, f[epsilon]L'-a for each a[epsilon]R - {0} either contain T2-sections or are ...
Sperner spaces and first-order logic
(Wiley, 2003-01-27)
We study the class of Sperner spaces, a generalized version of affine spaces, as defined in the language of pointline incidence and line parallelity. We show that, although the class of Sperner spaces is a pseudo-elementary ...
The choice of a log-linear model using a Cp-type statistic
(Elsevier, 1984-08)
Most methods of selecting an appropriate log-linear model for categorical data are sensitive to the underlying distributional assumptions. However, there are many situations in which the assumption that the data are randomly ...
Essential self-adjointness of powers of generators of hyperbolic mixed problems
(Elsevier, 1973-04)
The theory of hyperbolic mixed initial-boundary value problems is used to prove the essential self-adjointness of certain differential operators associated with formally symmetric boundary value problems.