This paper presents the results of an experimental study on multiple focus configurations, that is, structures containing two nested focus-sensitive operators plus two foci supposed to associate with those operators. There has been controversial discussion in the semantic literature regarding whether or not an interpretation is acceptable that corresponds to this association. While the data are...

the idea of relation between religions is one of important subjects in comparative religion, philosophy of religion and new theology. in this respect, from one hand the theory of plurality and diversity of religions, and on the other hand globalization, which is one of outcomes of our modern world, has lead human beings on some new attitudes about relation of religions like: exclusivism, plural...

We show that if G is a strongly minimal finitely axiomatizable group, the division ring of quasi-endomorphisms of G must be an infinite finitely presented ring. Questions about finite axiomatizability of first order theories are nearly as old as model theory itself and seem at first glance to have a fairly syntactical flavor. But it was in order to show that totally categorical theories cannot ...

This is the eleventh article in a regular series on object-oriented type theory, aimed specifically at non-theoreticians. In the Theory of Classification, we have so far considered the typeful aspect of classes [1, 2] and their implementation aspect [3, 4] separately. We have been concerned to point out how the notion of classification has a fully formal interpretation [2], in which, at the typ...

This article, based on the Klein lecture, contains some new results and new speculations on various topics. They include discussion of open strings in the AdS space, unusual features of D-branes, conformal gauge theories in higher dimensions. We also comment on the infrared screening of the cosmological constant and on the ”brane worlds”

In order to yield the intended interpretation for quantified expressions and comparatives, a compositional interpretation based on syntactic structure alone is not always possible. In the interpretation of these expressions, contextual information plays an important role. In general, we argue that context allows for a set of possible interpretations of an expression. Syntax may reduce this set ...

We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their connection primitives, and (ii) the composition of their intended domains (e.g., whether or not they allow for boundary elements).

It is well known that closure operators on a complete lattice, ordered pointwise, give rise to a complete lattice, and this basic fact plays an important rôle in many fields of the semantics area, notably in domain theory and abstract interpretation. We strengthen that result by showing that closure operators on any directed-complete partial order (CPO) still form a complete lattice. An example...