Search

You can find the results of your search below.

Fulltext results:

varieties
6 Hits, Last modified:
=== Varieties of universal algebras === A \emph{variety} is a class of structures of the same signature th... 4, 1935)] a class $\mathcal{K}$ of algebras is a variety iff it is closed under the operators $H$, $S$, $P... $\mathcal{K}\}$. Equivalently, $\mathcal K$ is a variety iff $\mathcal K=HSP\mathcal K$. In particular, g... bras, $V\mathcal K=HSP\mathcal K$ is the smallest variety that contains $\mathcal K$, and is called the \em
monounary_algebras
5 Hits, Last modified:
rties==== ^[[Classtype]] |variety | ^[[Equational theory]] |decidabl... [[Idempotent monounary algebras]] subvariety The variety of monounary algebras has countably many subvarie... ttice of divisibility of the natural numbers. The variety $\text{Mod}(x=y)$ of trivial subvarieties is the unique element below the variety $\text{Mod}(f(x)=x)$ (which is term-equivalent to
boolean_semilattices
3 Hits, Last modified:
g,\cdot\rangle$ such that $\mathbf{A}$ is in the variety generated by complex algebras of semilattices Le... results==== ====Properties==== ^[[Classtype]] |variety | ^[[Finitely axiomatizable]] |open | ^[[Equatio... [[Some members of BSlat]] ====Subclasses==== [[Variety generated by complex algebras of linear semilatti
semilattices
3 Hits, Last modified:
: This definition shows that semilattices form a variety. ==Morphisms== Let $\mathbf{S}$ and $\mathbf{T}$... shows that semilattices form a partially-ordered variety. ====Definition==== A \emph{join-semilattice} is ... results==== ====Properties==== ^[[Classtype]] |variety | ^[[Equational theory]] |decidable in polynomia
normal_valued_lattice-ordered_groups
3 Hits, Last modified:
e$ ====Examples==== ====Basic results==== The variety of normal valued $\ell$-groups is the largest pro... perties==== ^[[Classtype]] |variety | ^[[Equational theory]] | | ^[[Qua... 976> W. Charles Holland, \emph{The largest proper variety of lattice-ordered groups}, Proceedings of the AM
right_hoops
2 Hits, Last modified:
k: This definition shows that right hoops form a variety. Right hoops are partially ordered by the relati... results==== ====Properties==== ^[[Classtype]] |variety | ^[[Equational theory]] | | ^[[Quasiequational
modal_algebras
2 Hits, Last modified:
results==== ====Properties==== ^[[Classtype]] |variety | ^[[Equational theory]] |decidable | ^[[Quasieq... tionally def. pr. cong.]] |no | ^[[Discriminator variety]] |no | ^[[Amalgamation property]] |yes | ^[[St
kleene_logic_algebras
2 Hits, Last modified:
sults==== The algebra in Example 1 generates the variety of Kleene logic algebras ====Properties==== ^[[Classtype]] |Variety | ^[[Equational theory]] |Decidable | ^[[Quasieq
hoops
2 Hits, Last modified:
Remark: This definition shows that hoops form a variety. Hoops are partially ordered by the relation $x\... nd integral. ====Properties==== ^[[Classtype]] |variety | ^[[Equational theory]] |decidable | ^[[Quasieq
relation_algebras
2 Hits, Last modified:
results==== ====Properties==== ^[[Classtype]] |variety | ^[[Equational theory]] |undecidable | ^[[Quasi... ionally def. pr. cong.]] |yes | ^[[Discriminator variety]] |yes | ^[[Amalgamation property]] |no | ^[[St
sqrt-quasi-mv-algebras
2 Hits, Last modified:
ac12,\frac12\rangle$. ====Basic results==== The variety of $\sqrt{'}$qMV-algebras is generated by the sta... -algebra]]. ====Properties==== ^[[Classtype]] |variety | ^[[Equational theory]] |decidable | ^[[Quasieq
abelian_groups
2 Hits, Last modified:
, with addition, unary subtraction, and zero. The variety of abelian groups is generated by this algebra. ... perties==== ^[[Classtype]] |variety | ^[[Equational theory]] |decidable
congruence_n-permutable
2 Hits, Last modified:
aracterized by a Mal'cev condition. For $n=2$, a variety is congruence permutable iff there exists a term ... the identities $p(x,z,z)=x=p(z,z,x)$ hold in the variety. === Properties that imply congruence $n$-permut
tense_algebras
2 Hits, Last modified:
results==== ====Properties==== ^[[Classtype]] |variety | ^[[Equational theory]] |decidable | ^[[Quasieq... tionally def. pr. cong.]] |no | ^[[Discriminator variety]] |no | ^[[Amalgamation property]] |yes | ^[[St
function_rings
2 Hits, Last modified:
y)$. ====Examples==== ====Basic results==== The variety of $f$-rings is generated by the class of linearl... ory, 1967]). ====Properties==== ^[[Classtype]] |variety | ^[[Equational theory]] | | ^[[Quasiequational
sequential_algebras
2 Hits, Last modified:
closure_algebras
2 Hits, Last modified:
de_morgan_algebras
2 Hits, Last modified:
lattices
2 Hits, Last modified:
nonassociative_relation_algebras
2 Hits, Last modified:
quasi-mv-algebra
2 Hits, Last modified:
equationally_def._pr._cong
2 Hits, Last modified:
boolean_semigroups
2 Hits, Last modified:
commutative_bck-algebras
2 Hits, Last modified:
hilbert_algebras
2 Hits, Last modified:
distributive_lattice_ordered_semigroups
2 Hits, Last modified:
abelian_lattice-ordered_groups
2 Hits, Last modified:
boolean_groups
2 Hits, Last modified:
pseudo_mv-algebras
1 Hits, Last modified:
skew_lattices
1 Hits, Last modified:
tarski_algebras
1 Hits, Last modified:
normal_bands
1 Hits, Last modified:
groups
1 Hits, Last modified:
directed_graphs
1 Hits, Last modified:
semirings_with_identity_and_zero
1 Hits, Last modified:
boolean_algebras
1 Hits, Last modified:
idempotent_semirings_with_zero
1 Hits, Last modified:
commutative_lattice-ordered_semigroups
1 Hits, Last modified:
idempotent_semirings_with_identity_and_zero
1 Hits, Last modified:
lukasiewicz_algebras_of_order_n
1 Hits, Last modified:
properties
1 Hits, Last modified:
lie_algebras
1 Hits, Last modified:
multiplicative_additive_linear_logic_algebras
1 Hits, Last modified:
rings_with_identity
1 Hits, Last modified:
multiplicative_semilattices
1 Hits, Last modified:
basic_logic_algebras
1 Hits, Last modified:
bck-meet-semilattices
1 Hits, Last modified:
generalized_boolean_algebras
1 Hits, Last modified:
action_algebras
1 Hits, Last modified:
dunn_monoids
1 Hits, Last modified:
de_morgan_monoids
1 Hits, Last modified:
boolean_monoids
1 Hits, Last modified:
lattice-ordered_rings
1 Hits, Last modified:
monoidal_t-norm_logic_algebras
1 Hits, Last modified:
commutative_rings
1 Hits, Last modified:
residuated_lattices
1 Hits, Last modified:
fl-algebras
1 Hits, Last modified:
commutative_lattice-ordered_monoids
1 Hits, Last modified:
semirings_with_zero
1 Hits, Last modified:
wajsberg_hoops
1 Hits, Last modified:
commutative_inverse_semigroups
1 Hits, Last modified:
pseudocomplemented_distributive_lattices
1 Hits, Last modified:
bck-algebras
1 Hits, Last modified:
distributive_residuated_lattices
1 Hits, Last modified:
integral_relation_algebras
1 Hits, Last modified:
ockham_algebras
1 Hits, Last modified:
orthomodular_lattices
1 Hits, Last modified:
distributive_double_p-algebras
1 Hits, Last modified:
near-rings
1 Hits, Last modified:
semigroups
1 Hits, Last modified:
clifford_semigroups
1 Hits, Last modified:
semigroups_with_zero
1 Hits, Last modified:
rings
1 Hits, Last modified:
vector_spaces
1 Hits, Last modified:
almost_distributive_lattices
1 Hits, Last modified:
implicative_lattices
1 Hits, Last modified:
near-rings_with_identity
1 Hits, Last modified:
bck-lattices
1 Hits, Last modified:
commutative_residuated_lattices
1 Hits, Last modified:
bilinear_algebras
1 Hits, Last modified:
commutative_groupoids
1 Hits, Last modified:
quasigroups
1 Hits, Last modified:
commutative_rings_with_identity
1 Hits, Last modified:
bands
1 Hits, Last modified:
representable_lattice-ordered_groups
1 Hits, Last modified:
cancellative_residuated_lattices
1 Hits, Last modified:
sets
1 Hits, Last modified:
semilattices_with_zero
1 Hits, Last modified:
moufang_loops
1 Hits, Last modified:
generalized_mv-algebras
1 Hits, Last modified:
m-zeroid
1 Hits, Last modified:
quandles
1 Hits, Last modified:
2-element_boolean_algebra
1 Hits, Last modified:
classtype
1 Hits, Last modified:
right_quasigroups
1 Hits, Last modified:
categories
1 Hits, Last modified:
brouwerian_semilattices
1 Hits, Last modified:
modular_lattices
1 Hits, Last modified:
directoids
1 Hits, Last modified:
reflexive_relations
1 Hits, Last modified:
integral_residuated_lattices
1 Hits, Last modified:
medial_groupoids
1 Hits, Last modified:
goedel_algebras
1 Hits, Last modified:
loops
1 Hits, Last modified:
monoids
1 Hits, Last modified:
commutative_binars
1 Hits, Last modified:
flec-algebras
1 Hits, Last modified:
unary_algebras
1 Hits, Last modified:
residuated_partially_ordered_monoids
1 Hits, Last modified:
vector_spaces_over_a_field
1 Hits, Last modified:
commutative_semigroups
1 Hits, Last modified:
double_stone_algebras
1 Hits, Last modified:
bounded_distributive_lattices
1 Hits, Last modified:
semirings_with_identity
1 Hits, Last modified:
commutative_monoids
1 Hits, Last modified:
distributive_lattices_with_operators
1 Hits, Last modified:
boolean_modules_over_a_relation_algebra
1 Hits, Last modified:
ortholattices
1 Hits, Last modified:
mv-algebras
1 Hits, Last modified:
semilattices_with_identity
1 Hits, Last modified:
congruence_extension_property
1 Hits, Last modified:
congruence_distributive
1 Hits, Last modified:
lattice-ordered_monoids
1 Hits, Last modified:
involutive_lattices
1 Hits, Last modified:
boolean_algebras_with_operators
1 Hits, Last modified:
m-sets
1 Hits, Last modified:
medial_quasigroups
1 Hits, Last modified:
shells
1 Hits, Last modified:
order_algebras
1 Hits, Last modified:
modules_over_a_ring
1 Hits, Last modified:
rectangular_bands
1 Hits, Last modified:
idempotent_semirings
1 Hits, Last modified:
distributive_lattices
1 Hits, Last modified:
cylindric_algebras
1 Hits, Last modified:
bounded_lattices
1 Hits, Last modified:
commutative_residuated_lattice-ordered_semigroups
1 Hits, Last modified:
semirings
1 Hits, Last modified:
monadic_algebras
1 Hits, Last modified:
distributive_p-algebras
1 Hits, Last modified:
binars
1 Hits, Last modified:
idempotent_semirings_with_identity
1 Hits, Last modified:
bilattices
1 Hits, Last modified:
lattice-ordered_semigroups
1 Hits, Last modified:
neardistributive_lattices
1 Hits, Last modified:
bck-join-semilattices
1 Hits, Last modified:
heyting_algebras
1 Hits, Last modified:
definable_principal_congruences
1 Hits, Last modified:
multiplicative_lattices
1 Hits, Last modified:
generalized_bl-algebras
1 Hits, Last modified:
inverse_semigroups
1 Hits, Last modified:
complemented_modular_lattices
1 Hits, Last modified:
fle-algebras
1 Hits, Last modified:
distributive_dual_p-algebras
1 Hits, Last modified:
action_lattices
1 Hits, Last modified:
lattice-ordered_groups
1 Hits, Last modified:
bounded_residuated_lattices
1 Hits, Last modified:

QR Code
QR Code Search (generated for current page)