Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras (Q1838960): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322163
@@ Property / cites work: Q3322163 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111746
@@ Property / cites work: Q4111746 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion varieties
@@ Property / cites work: Completion varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912001
@@ Property / cites work: Q3912001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969852
@@ Property / cites work: Q3969852 / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous algebras
@@ Property / cites work: Heterogeneous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Free partial algebras.
@@ Property / cites work: Free partial algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+An embedding theorem for partial algebras and the free completion of a free partial algebra within a primitive class
+Normal rank
@@ Property / cites work @@
+On the completion of partial algebras
@@ Property / cites work: On the completion of partial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
+Normal rank
@@ Property / cites work @@
+The class of topological spaces is equationally definable
+Normal rank
@@ Property / cites work @@
+The Word Problem for Abstract Algebras
@@ Property / cites work: The Word Problem for Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4745821
@@ Property / cites work: Q4745821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5723177
@@ Property / cites work: Q5723177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak and strong equations in partial algebras
@@ Property / cites work: Weak and strong equations in partial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3930619
@@ Property / cites work: Q3930619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178511
@@ Property / cites work: Q4178511 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5332215
@@ Property / cites work: Q5332215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536167
@@ Property / cites work: Q5536167 / rank @@
+Normal rank
@@ Property / cites work @@
+Epis need not be dense
@@ Property / cites work: Epis need not be dense / rank @@
+Normal rank
@@ Property / cites work @@
+Prädikatenlogik mit partiell definierten Funktionen
+Normal rank
@@ Property / cites work @@
+On the rules of proof in the pure functional calculus of the first order
+Normal rank
@@ Property / cites work @@
+From hereditary classes to varieties in abstract model theory and partial algebra
+Normal rank
@@ Property / cites work @@
+Q3874383
@@ Property / cites work: Q3874383 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial morphisms on partial algebras
@@ Property / cites work: Partial morphisms on partial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A general existence theorem on partial algebras and its special cases
+Normal rank
@@ Property / cites work @@
+A homomorphism theorem for partial algebras
@@ Property / cites work: A homomorphism theorem for partial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586318
@@ Property / cites work: Q5586318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638470
@@ Property / cites work: Q5638470 / rank @@
+Normal rank