A remark on Ax's theorem on solvability modulo primes.
A Remark On Filter Regularity
A remark on filter regularity.
A Remark on Semiproductive Sets.
A remark on the independence of a basis hypothesis
A remark on -regular orthomodular lattices
A finite orthomodular lattice in which every maximal Boolean subalgebra (block) has the same cardinality is called -regular, if each atom is a member of just blocks. We estimate the minimal number of blocks of -regular orthomodular lattices to be lower than of equal to regardless of .
A representation of models of Peano arithmetic
A representation of orthomodular lattices
A representation theorem for linearly ordered cardinal algebras
A representation theorem for Post-like algebras
A representation theorem for probabilistic metric spaces in general
In this paper, we present a representation theorem for probabilistic metric spaces in general.
A representation theorem for tense -valued Łukasiewicz-Moisil algebras
In 2000, Figallo and Sanza introduced -valued Łukasiewicz-Moisil algebras which are both particular cases of matrix Łukasiewicz algebras and a generalization of -valued Łukasiewicz-Moisil algebras. Here we initiate an investigation into the class tLM of tense -valued Łukasiewicz-Moisil algebras (or tense LM-algebras), namely -valued Łukasiewicz-Moisil algebras endowed with two unary operations called tense operators. These algebras constitute a generalization of tense Łukasiewicz-Moisil algebras...
A Revision about the Concept of Intentionality in an Approximate Framework.
A revision of Bandler-Kohout compositions of relations.
A rigid Boolean algebra that admits the elimination of Q21
Using ♢ , we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier .
A saturation property on ideals
A scenario for transferring high scores
A scoop from groups: equational foundations for loops
Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain ``group-like'' equational bases for Moufang, Bol and C-loops. We also discuss the case when the inverses are only...
A selection property of the boolean -calculus and some of its applications
A Semantical Analysis of Implicational System I and of the First Degree of Entailment.