On cardinalities of algebras of formulas for $ω_0$-categorical theories

Jan Waszkiewicz

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

On generalized Beurling’s theorem and symmetry of $L_{1}$ -group algebras

Zenobia Anusiak (1971)

Colloquium Mathematicae

Similarity:

$ℵ_{0}$ -categoricity of products of 1-unary algebras

Philip Olin (1975)

Colloquium Mathematicae

Similarity:

Quantised ${𝔰𝔩}_{2}$ -differential algebras

Andrey Krutov, Pavle Pandžić (2024)

Archivum Mathematicum

Similarity:

We propose a definition of a quantised ${𝔰𝔩}_{2}$ -differential algebra and show that the quantised exterior algebra (defined by Berenstein and Zwicknagl) and the quantised Clifford algebra (defined by the authors) of ${𝔰𝔩}_{2}$ are natural examples of such algebras.

Transfer of derived equivalences from subalgebras to endomorphism algebras II

Shengyong Pan, Jiahui Yu (2024)

Czechoslovak Mathematical Journal

Similarity:

We investigate derived equivalences between subalgebras of some $Φ$ -Auslander-Yoneda algebras from a class of $n$ -angles in weakly $n$ -angulated categories. The derived equivalences are obtained by transferring subalgebras induced by $n$ -angles to endomorphism algebras induced by approximation sequences. Then we extend our constructions in T. Brüstle, S. Y. Pan (2016) to $n$ -angle cases. Finally, we give an explicit example to illustrate our result.

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} ⟩ < \infty$ if and only if $g l d i m K Q / ⟨ I ⟩ < \infty$ if and only if $g l d i m K Q^{g} / ⟨ I^{g} ⟩ < \infty$ .

A representation theorem for tense $n \times m$ -valued Łukasiewicz-Moisil algebras

Aldo Victorio Figallo, Gustavo Pelaitay (2015)

Mathematica Bohemica

Similarity:

In 2000, Figallo and Sanza introduced $n \times 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 \times m}$ of tense $n \times m$ -valued Łukasiewicz-Moisil algebras (or tense LM $_{n \times m}$ -algebras), namely $n \times 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.....................................................................................................................

Matrix representation of finite effect algebras

Grzegorz Bińczak, Joanna Kaleta, Andrzej Zembrzuski (2023)

Kybernetika

Similarity:

In this paper we present representation of finite effect algebras by matrices. For each non-trivial finite effect algebra $E$ we construct set of matrices $M (E)$ in such a way that effect algebras $E_{1}$ and $E_{2}$ are isomorphic if and only if $M (E_{1}) = M (E_{2})$ . The paper also contains the full list of matrices representing all nontrivial finite effect algebras of cardinality at most $8$ .

The decidability of some $ℵ_{0}$ -categorical theories

James H. Schmerl (1976)

Colloquium Mathematicae

Similarity:

$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) \otimes 𝒟$ 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 bicrossed products of $H_{4}$ and $H_{8}$

Daowei Lu, Yan Ning, Dingguo Wang (2020)

Czechoslovak Mathematical Journal

Similarity:

Let $H_{4}$ and $H_{8}$ be the Sweedler’s and Kac-Paljutkin Hopf algebras, respectively. We prove that any Hopf algebra which factorizes through $H_{8}$ and $H_{4}$ (equivalently, any bicrossed product between the Hopf algebras $H_{8}$ and $H_{4}$ ) must be isomorphic to one of the following four Hopf algebras: $H_{8} \otimes H_{4}, H_{32, 1}, H_{32, 2}, H_{32, 3}$ . The set of all matched pairs $(H_{8}, H_{4}, ▹, ◃)$ is explicitly described, and then the associated bicrossed product is given by generators and relations.

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 \leq 3$ . It is reducible if $n \geq 8$ (and the converse holds, at least if we remove the fibers above $2$ and $3$ ). The relative dimension of $𝔅_{n}$ is $\frac{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 \geq 8$ , there exist algebras that are not limits of étale algebras. The dimension...

The structures of Hopf $*$ -algebra on Radford algebras

Hassan Suleman Esmael Mohammed, Hui-Xiang Chen (2019)

Czechoslovak Mathematical Journal

Similarity:

We investigate the structures of Hopf $*$ -algebra on the Radford algebras over $ℂ$ . All the $*$ -structures on $H$ are explicitly given. Moreover, these Hopf $*$ -algebra structures are classified up to equivalence.

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

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