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

Helena Rasiowa

Displaying similar documents to “A generalization of a formalized theory of fields of sets on non-classical logics”

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 $\to$ (implication), $↠$ (standard implication), $\land$ (conjunction), $\lor$ (disjunction) and the unary ones $f$ (negation) and $D_{i}$ , $1 \leq i \leq n - 1$ (generalized Moisil operators). It is proved that $ℓ_{n}^{m}$ belongs to the class of standard systems...

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 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...

Bicrossed products of generalized Taft algebra and group algebras

Dingguo Wang, Xiangdong Cheng, Daowei Lu (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $G$ be a group generated by a set of finite order elements. We prove that any bicrossed product $H_{m, d} (q) ⋈ k [G]$ between the generalized Taft algebra $H_{m, d} (q)$ and group algebra $k [G]$ is actually the smash product $H_{m, d} (q) ♯ k [G]$ . Then we show that the classification of these smash products could be reduced to the description of the group automorphisms of $G$ . As an application, the classification of $H_{m, d} (q) ⋈ k [C_{n_{1}} \times C_{n_{2}}]$ is completely presented by generators and relations, where $C_{n}$ denotes the $n$ -cyclic group.

Cambrian fans

Nathan Reading, David E. Speyer (2009)

Journal of the European Mathematical Society

Similarity:

For a finite Coxeter group $W$ and a Coxeter element $c$ of $W$ ; the $c$ -Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of $W$ . Its maximal cones are naturally indexed by the $c$ -sortable elements of $W$ . The main result of this paper is that the known bijection cl $_{c}$ between $c$ -sortable elements and $c$ -clusters induces a combinatorial isomorphism of fans. In particular, the $c$ -Cambrian fan is combinatorially isomorphic to the normal fan of the generalized associahedron for...

Equivalence bundles over a finite group and strong Morita equivalence for unital inclusions of unital $C^{*}$ -algebras

Kazunori Kodaka (2022)

Mathematica Bohemica

Similarity:

Let $𝒜 = {A_{t}}_{t \in G}$ and $ℬ = {B_{t}}_{t \in G}$ be $C^{*}$ -algebraic bundles over a finite group $G$ . Let $C = ⨁_{t \in G} A_{t}$ and $D = ⨁_{t \in G} B_{t}$ . Also, let $A = A_{e}$ and $B = B_{e}$ , where $e$ is the unit element in $G$ . We suppose that $C$ and $D$ are unital and $A$ and $B$ have the unit elements in $C$ and $D$ , respectively. In this paper, we show that if there is an equivalence $𝒜 - ℬ$ -bundle over $G$ with some properties, then the unital inclusions of unital $C^{*}$ -algebras $A \subset C$ and $B \subset D$ induced by $𝒜$ and $ℬ$ are strongly Morita equivalent. Also, we suppose that $𝒜$ and $ℬ$ are saturated and that $A^{'} \cap C = 𝐂 1$ . We show that...

Displaying similar documents to “A generalization of a formalized theory of fields of sets on non-classical logics”

The ℒ n m -propositional calculus

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

The moduli space of commutative algebras of finite rank

Bicrossed products of generalized Taft algebra and group algebras

Cambrian fans

Equivalence bundles over a finite group and strong Morita equivalence for unital inclusions of unital C * -algebras

The $ℒ_{n}^{m}$ -propositional calculus

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

Equivalence bundles over a finite group and strong Morita equivalence for unital inclusions of unital $C^{*}$ -algebras