The following pages link to Paweł M. Idziak (Q170377):
Displaying 50 items.
- The commutator in equivalential algebras and Fregean varieties (Q634757) (← links)
- Definable principal congruences and solvability (Q1001911) (← links)
- Undecidability of free pseudo-complemented semilattices (Q1098833) (← links)
- Undecidability of relatively free Hilbert algebras (Q1103604) (← links)
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (Q1119619) (← links)
- Varieties with decidable finite algebras. I: Linearity (Q1124620) (← links)
- Varieties with decidable finite algebras. II: Permutability (Q1124621) (← links)
- Counting Mal'tsev clones on small sets (Q1398256) (← links)
- Polynomial interpolation in expanded groups. (Q1421798) (← links)
- Natural dualities for quasivarieties generated by a finite commutative ring. (Q1771877) (← links)
- (Q1905990) (redirect page) (← links)
- The isomorphism problem for varieties generated by a two-element algebra (Q1905991) (← links)
- Dualizability and graph algebras (Q1972139) (← links)
- Varieties with polynomially many models, I (Q2773237) (← links)
- A property of the solvable radical in finitely decidable varieties (Q2773238) (← links)
- Generative complexity in algebra (Q3022810) (← links)
- (Q3027076) (← links)
- The structure of locally finite varieties with polynomially many models (Q3079193) (← links)
- A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
- (Q3218120) (← links)
- (Q3218121) (← links)
- (Q3218122) (← links)
- (Q3318775) (← links)
- (Q3365837) (← links)
- FREGEAN VARIETIES (Q3398314) (← links)
- (Q3470450) (← links)
- Varieties with few subalgebras of powers (Q3550542) (← links)
- (Q3666902) (← links)
- (Q3801521) (← links)
- Decidability problem for finite Heyting algebras (Q3815356) (← links)
- (Q3956942) (← links)
- (Q3976917) (← links)
- (Q3987716) (← links)
- (Q3987718) (← links)
- (Q3998420) (← links)
- (Q4025004) (← links)
- (Q4025010) (← links)
- (Q4249223) (← links)
- (Q4359313) (← links)
- Definability of principal congruences in equivalential algebras (Q4368885) (← links)
- CLONES CONTAINING MAL'TSEV OPERATIONS (Q4513295) (← links)
- COUNTING FINITE ALGEBRAS IN THE POST VARIETIES (Q4786251) (← links)
- A DIRECTLY REPRESENTABLE VARIETY HAS A DISCRETE FIRST-ORDER LAW (Q4894091) (← links)
- Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras. (Q5005117) (← links)
- Satisfiability in MultiValued Circuits (Q5080482) (← links)
- Satisfiability in multi-valued circuits (Q5145331) (← links)
- Intermediate problems in modular circuits satisfiability (Q5145664) (← links)
- How big is BCI fragment of BCK logic (Q5300586) (← links)
- Tractability and Learnability Arising from Algebras with Few Subpowers (Q5390586) (← links)
