Displaying similar documents to “On cardinalities of algebras of formulas for ω 0 -categorical theories”

Singularity categories of skewed-gentle algebras

Xinhong Chen, Ming Lu (2015)

Colloquium Mathematicae

Similarity:

Let K be an algebraically closed field. Let (Q,Sp,I) be a skewed-gentle triple, and let ( Q s g , I s g ) and ( Q g , I g ) be the corresponding skewed-gentle pair and the associated gentle pair, respectively. We prove that the skewed-gentle algebra K Q s g / I s g is singularity equivalent to KQ/⟨I⟩. Moreover, we use (Q,Sp,I) to describe the singularity category of K Q g / I g . As a corollary, we find that g l d i m K Q s g / I s g < if and only if g l d i m K Q / I < if and only if g l d i m K Q g / I g < .

A representation theorem for tense n × m -valued Łukasiewicz-Moisil algebras

Aldo Victorio Figallo, Gustavo Pelaitay (2015)

Mathematica Bohemica

Similarity:

In 2000, Figallo and Sanza introduced n × m -valued Łukasiewicz-Moisil algebras which are both particular cases of matrix Łukasiewicz algebras and a generalization of n -valued Łukasiewicz-Moisil algebras. Here we initiate an investigation into the class n × m of tense n × m -valued Łukasiewicz-Moisil algebras (or tense LM n × m -algebras), namely n × m -valued Łukasiewicz-Moisil algebras endowed with two unary operations called tense operators. These algebras constitute a generalization of tense...

A generalization of a formalized theory of fields of sets on non-classical logics

Helena Rasiowa

Similarity:

Contents Introduction.................................................................................................................................................. 3 § 1. System 𝒮 of a propositional calculus...................................................................... 4 § 2. System 𝒮 * ..................................................................................................................... 5 § 3. 𝒮 * -algebras.....................................................................................................................

A F -algebras and topology of mapping tori

Igor Nikolaev (2015)

Czechoslovak Mathematical Journal

Similarity:

The paper studies applications of C * -algebras in geometric topology. Namely, a covariant functor from the category of mapping tori to a category of A F -algebras is constructed; the functor takes continuous maps between such manifolds to stable homomorphisms between the corresponding A F -algebras. We use this functor to develop an obstruction theory for the torus bundles of dimension 2 , 3 and 4 . In conclusion, we consider two numerical examples illustrating our main results.

Trivialization of 𝒞 ( X ) -algebras with strongly self-absorbing fibres

Marius Dadarlat, Wilhelm Winter (2008)

Bulletin de la Société Mathématique de France

Similarity:

Suppose A is a separable unital 𝒞 ( X ) -algebra each fibre of which is isomorphic to the same strongly self-absorbing and K 1 -injective C * -algebra 𝒟 . We show that A and 𝒞 ( X ) 𝒟 are isomorphic as 𝒞 ( X ) -algebras provided the compact Hausdorff space X is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

The moduli space of commutative algebras of finite rank

Bjorn Poonen (2008)

Journal of the European Mathematical Society

Similarity:

The moduli space of rank- n commutative algebras equipped with an ordered basis is an affine scheme 𝔅 n of finite type over , with geometrically connected fibers. It is smooth if and only if n 3 . It is reducible if n 8 (and the converse holds, at least if we remove the fibers above 2 and 3 ). The relative dimension of 𝔅 n is 2 27 n 3 + O ( n 8 / 3 ) . The subscheme parameterizing étale algebras is isomorphic to GL n / S n , which is of dimension only n 2 . For n 8 , there exist algebras that are not limits of étale algebras. The dimension...

On the number of finite algebraic structures

Erhard Aichinger, Peter Mayr, R. McKenzie (2014)

Journal of the European Mathematical Society

Similarity:

We prove that every clone of operations on a finite set A , if it contains a Malcev operation, is finitely related – i.e., identical with the clone of all operations respecting R for some finitary relation R over A . It follows that for a fixed finite set A , the set of all such Malcev clones is countable. This completes the solution of a problem that was first formulated in 1980, or earlier: how many Malcev clones can finite sets support? More generally, we prove that every finite algebra...

The n m -propositional calculus

Carlos Gallardo, Alicia Ziliani (2015)

Mathematica Bohemica

Similarity:

T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewicz algebras are algebras of some logic system. In this article an affirmative answer is given and the n m -propositional calculus, denoted by n m , is introduced in terms of the binary connectives (implication), (standard implication), (conjunction), (disjunction) and the unary ones f (negation) and D i , 1 i n - 1 (generalized Moisil operators). It is proved that n m belongs to the class of standard systems...