Pages that link to "Item:Q4882918"
From MaRDI portal
The following pages link to TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE (Q4882918):
Displaying 50 items.
- The finite basis problem for words with at most two non-linear variables. (Q305772) (← links)
- Constraint satisfaction, irredundant axiomatisability and continuous colouring (Q361864) (← links)
- Semigroups embeddable in hyperplane face monoids. (Q467529) (← links)
- A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). (Q494618) (← links)
- Flat unars: the primal, the semi-primal and the dualisable (Q607463) (← links)
- On the finite basis problem for the monoids of triangular Boolean matrices. (Q634761) (← links)
- Non-finitely based monoids. (Q744847) (← links)
- On finite alphabets and infinite bases (Q924717) (← links)
- An undecidable property of recurrent double sequences (Q929632) (← links)
- The finite basis problem for endomorphism semirings of finite semilattices with zero. (Q1047111) (← links)
- Inherently nonfinitely based lattices (Q1612484) (← links)
- Bases of identities for semigroups of bounded rank transformations of a set. (Q1760386) (← links)
- Complexity of quasivariety lattices of pointed Abelian groups. (Q1761032) (← links)
- Finite basis problems and results for quasivarieties (Q1770614) (← links)
- The max-plus algebra of the natural numbers has no finite equational basis (Q1870591) (← links)
- Finite axiomatizability of congruence rich varieties (Q1902530) (← links)
- On the finite basis problem for certain 2-limited words. (Q1940888) (← links)
- Equational theories of semigroups with involution. (Q1946106) (← links)
- Lee monoid \(L_4^1\) is non-finitely based (Q1991587) (← links)
- Nonfinitely based ai-semirings with finitely based semigroup reducts (Q2079231) (← links)
- Finite degree clones are undecidable (Q2333801) (← links)
- Dualizability of automatic algebras. (Q2436718) (← links)
- Algebraic properties of some quadratic dynamical systems (Q2490018) (← links)
- On the finite basis problem for the monoids of partial extensive injective transformations. (Q2634963) (← links)
- Finitely based, finite sets of words (Q2709973) (← links)
- Recursive inseparability for residual bounds of finite algebras (Q2710615) (← links)
- A finite basis theorem for difference-term varieties with a finite residual bound (Q2787967) (← links)
- The finite basis property of a certain semigroup of upper triangular matrices over a field. (Q2816952) (← links)
- Unreasonable lattices of quasivarieties (Q2888832) (← links)
- On the variety generated by the monoid of triangular \(2\times 2\) matrices over a two-element field. (Q2907022) (← links)
- COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES (Q3043639) (← links)
- THE FINITE BASIS PROBLEM FOR THE MONOID OF TWO-BY-TWO UPPER TRIANGULAR TROPICAL MATRICES (Q3186380) (← links)
- Quasiequational Theories of Flat Algebras (Q3366747) (← links)
- A NONFINITELY BASED FINITE SEMIRING (Q3502839) (← links)
- COMPUTATIONALLY AND ALGEBRAICALLY COMPLEX FINITE ALGEBRA MEMBERSHIP PROBLEMS (Q3502845) (← links)
- PROPERTIES OF VARIETIES DETERMINED BY THE DEGREES OF PROPER HYPERSUBSTITUTIONS (Q3521576) (← links)
- EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM (Q3601326) (← links)
- Slim groupoids (Q3618018) (← links)
- ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS (Q3621430) (← links)
- Two finitely generated varieties having no infinite simple members (Q4383038) (← links)
- The computational complexity of deciding whether a finite algebra generates a minimal variety (Q4586419) (← links)
- FINITELY BASED WORDS (Q4786258) (← links)
- THE TYPE SET OF A VARIETY IS NOT COMPUTABLE (Q4786272) (← links)
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties (Q4953214) (← links)
- THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE (Q4986300) (← links)
- THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES (Q5212965) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)
- THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (Q5501763) (← links)
- Residual smallness relativized to congruence types. I (Q5946833) (← links)
