Decision Problems for Quasivarieties

2026-05-01

0

PRE

AI

DOI：10.1134/s0037446626030158

原文求助

摘要

En 中文

我们证明，在某些条件下，一个拟品种包含连续统多的 \( Q \)-全称子拟品种，对于这些子拟品种，有限成员问题与拟等式理论是不可判定的。

Keyword:

decision problem

finite membership problem

quasiequational theory

quasivariety

512.58