Each Girard quantale (i.e., commutative quantale with a selected dualizing element) provides a support for a semantics for linear propositional formulas (but not for linear derivations). Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group (both commutative). In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of handling duality.

On étudie les propriétés des théories de Jonsson et des conditions nécessaires afin que des théories soient de Jonsson ; on caractérise les théories de Jonsson cosémantiques c’est-à-dire ayant un modèle homogène universel commun ainsi que certaines théories complètes contenant des théories de Jonsson. On donne des exemples de certaines situations.

This paper develops the very basic notions of analysis in a weak second-order theory of arithmetic BTFA whose provably total functions are the polynomial time computable functions. We formalize within BTFA the real number system and the notion of a continuous real function of a real variable. The theory BTFA is able to prove the intermediate value theorem, wherefore it follows that the system of real numbers is a real closed ordered field. In the last section of the paper, we show how to interpret the theory BTFA in Robinson’s theory of arithmetic Q. This fact entails that the elementary theory of the real closed ordered fields is interpretable in Q.

We use a new version of the Definability Theoremof Beth in order to unify classical theorems of Yuri Matiyasevich and Jan Denef in one structural statement. We give similar forms for other important definability results from Arithmetic and Number Theory.

An interpolation theorem holds for many standard modal logics, but first order $S5$ is a prominent example of a logic for which it fails. In this paper it is shown that a first order $S5$ interpolation theorem can be proved provided the logic is extended to contain propositional quantifiers. A proper statement of the result involves some subtleties, but this is the essence of it.

We point out that a certain complex compact manifold constructed by Lieberman has the dimensional order property, and has $U$-rank different from Morley rank. We also give a sufficient condition for a Kähler manifold to be totally degenerate (that is, to be an indiscernible set, in its canonical language) and point out that there are $K3$ surfaces which satisfy these conditions.

We study local strengthenings of the simplicity condition. In particular, we define and study a local Lascar rank, as well as short, low, supershort and superlow theories. An example of a low, non supershort theory is given.

It is shown that the relations of recursive isomorphism on countable trees, groups, Boolean algebras, fields and total orderings are universal countable Borel equivalence relations, thus providing a countable analogue of the Borel completeness of the isomorphism relations on these same classes. I