We prove that if M is an o-minimal structure whose underlying order is dense then Th(M) does not interpret the theory of an infinite discretely ordered structure. We also make a conjecture concerning the class of the theory of an infinite discretely ordered o-minimal structure.
Si espongono alcuni risultati, provati dall’Autore negli articoli citati nella bibliografia, a proposito della complessità del teorema d’interpolazione di Craig: con ciò si intende la relazione tra la lunghezza (cioè il numero di simboli) della formula e la lunghezza di e , ove è un’implicazione valida, e è un interpolante, come esibito dal teorema di interpolazione stesso. Si intende altresì sottolineare la rilevanza dello studio della complessità dell’interpolazione per far luce su alcuni...
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...
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.