Structures pseudo-algébriques (1ère partie)
Structures vectorielles et affines floues. Convexité
Strutture esistenzialmente complete per certe classi di anelli
Studies In Paraconsistent Logic II: Quantifiers And The Unity Of Opposites.
Subalgebra lattices of unary algebras and an axiom of choice
Subalgebras and sublogics of -logics
Subalgebras of diagonalizable algebras of theories containing arithmetic [Book]
Subdirectly irreducible MV-algebras
In this note we characterize the one-generated subdirectly irreducible MV-algebras and use this characterization to prove that a quasivariety of MV-algebras has the relative congruence extension property if and only if it is a variety.
Subdirectly irreducible quasi-modal algebras.
Subgroups of the Baer–Specker group with few endomorphisms but large dual
Assuming the continuum hypothesis, we construct a pure subgroup G of the Baer-Specker group with the following properties. Every endomorphism of G differs from a scalar multiplication by an endomorphism of finite rank. Yet G has uncountably many homomorphisms to ℤ.
Sublogarithmic -space is not closed under complement and other separation results
Submodule of free Z-module
In this article, we formalize a free Z-module and its property. In particular, we formalize the vector space of rational field corresponding to a free Z-module and prove formally that submodules of a free Z-module are free. Z-module is necassary for lattice problems - LLL (Lenstra, Lenstra and Lov´asz) base reduction algorithm and cryptographic systems with lattice [20]. Some theorems in this article are described by translating theorems in [11] into theorems of Z-module, however their proofs are...
Subspaces in abstract Stone duality.
Substitution algebras in their relation to cylindric algebras.
Substitution up to isomorphism
Substructures of reduced powers
Súčasné trendy v algebre
Sufficient conditions for a T-partial order obtained from triangular norms to be a lattice
For a t-norm T on a bounded lattice , a partial order was recently defined and studied. In [11], it was pointed out that the binary relation is a partial order on , but may not be a lattice in general. In this paper, several sufficient conditions under which is a lattice are given, as an answer to an open problem posed by the authors of [11]. Furthermore, some examples of t-norms on such that is a lattice are presented.
Suites d'indicernables dans les théories stables
Sul problema dell'autoriferimento
We formulate, within the frame-theory for the foundations of Mathematics outlined in [2], a list of axioms which state that almost all "interesting" collections and almost all "interesting" operations are elements of the universe. The resulting theory would thus have the important foundational feature of being completely self-contained. Unfortunately, the whole list is inconsistent, and we are led to formulate the following problem, which we call the problem of self-reference: "Find out...