Decidable Discriminator Varieties from Unary Classes (Q4038454): Difference between revisions

@@ label / en / label / en @@
+Decidable Discriminator Varieties from Unary Classes
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2154349
@@ Property / full work available at URL: https://doi.org/10.2307/2154349 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4239098567
@@ Property / OpenAlex ID: W4239098567 / rank @@
+Normal rank
@@ Property / title @@
+Decidable Discriminator Varieties from Unary Classes (English)
+Normal rank
@@ Property / cites work @@
+Equational compactness in quasi-primal varieties
@@ Property / cites work: Equational compactness in quasi-primal varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated discriminator varieties have undecidable theories
+Normal rank
@@ Property / cites work @@
+Decidability and Boolean representations
@@ Property / cites work: Decidability and Boolean representations / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable discriminator varieties from unary varieties
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaf Constructions and Their Elementary Properties
+Normal rank
@@ Property / cites work @@
+Q4105667
@@ Property / cites work: Q4105667 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic algebras with finite degree
@@ Property / cites work: Monadic algebras with finite degree / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596792
@@ Property / cites work: Q5596792 / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+A decidable variety that is finitely undecidable
@@ Property / cites work: A decidable variety that is finitely undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4769085
@@ Property / cites work: Q4769085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of decidable locally finite varieties
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q4124831
@@ Property / cites work: Q4124831 / rank @@
+Normal rank
@@ Property / cites work @@
+Discriminating varieties
@@ Property / cites work: Discriminating varieties / rank @@
+Normal rank
@@ Property / cites work @@
+A note on ℵ0-categorical model-companions
@@ Property / cites work: A note on ℵ0-categorical model-companions / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable discriminator varieties with lattice stalks
+Normal rank