Interpolation in Logiken monotoner Systeme.
Interpreting number theory in nilpotent groups.
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics
We consider the families 𝓛 of propositional superintuitionistic logics (s.i.l.) and NE(K) of normal modal logics (n.m.l.). It is well known that there is a duality between 𝓛 and the lattice of varieties of pseudo-boolean algebras (or Heyting algebras), and also NE(K) is dually isomorphic to the lattice of varieties of modal algebras. Many important properties of logics, for instance, Craig's interpolation property (CIP), the disjunction property (DP), the Beth property (BP), Hallden-completeness...
Invariant sets in topology and logic
Isomorphism does not imply lower base-isomorphism for nonregular or non-locally finite-dimensional cylindric algebras
Isotopy invariant quasigroup identities
According to S. Krstić, there are only four quadratic varieties which are closed under isotopy. We give a simple procedure generating quadratic identities and deciding which of the four varieties they define. There are about 37000 such identities with up to five variables.
It is consistent that there exists an ordered real closed field which is not hyper-real.
K-analytic versus ccm-analytic sets in nonstandard compact complex manifolds
It is shown that in an elementary extension of a compact complex manifold M, the K-analytic sets (where K is the algebraic closure of the underlying real closed field) agree with the ccm-analytic sets if and only if M is essentially saturated. In particular, this is the case for compact Kähler manifolds.
Kappa-Slender Modules
For an arbitrary infinite cardinal , we define classes of -cslender and -tslender modules as well as related classes of -hmodules and initiate a study of these classes.
Karp's interpolation theorem for some classes of infinitary languages
Kategorizitätsbeweise in der Geometrie
Kleinberg sequences and partition cardinals below δ₅¹
The author computes the Kleinberg sequences derived from the three different normal ultrafilters on δ₃¹.
Kripke models and manivalued logics, II
Kripke models for intuitionistic theories with decidable atomic formulas.
Krull-Gabriel dimension and Cantor-Bendixson rank of 1-domestic string algebras
We prove that the Krull-Gabriel dimension of the category of modules over any 1-domestic non-degenerate string algebra is 3.
equivalence between countable and uncountable linear orderings
La théorie d'un anneau de polynômes
Langages à valeurs réelles et applications
Languages Extending L (Q).