Axiomatizations of universal classes through infinitary logic (Q1652858): Difference between revisions

@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Formulas and ultraproducts in categories
@@ Property / cites work: Formulas and ultraproducts in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely axiomatizable quasivarieties of graphs
@@ Property / cites work: Finitely axiomatizable quasivarieties of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Some characterization theorems for infinitary universal Horn logic without equality
+Normal rank
@@ Property / cites work @@
+Introduction to Boolean Algebras
@@ Property / cites work: Introduction to Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220413
@@ Property / cites work: Q4220413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4517143
@@ Property / cites work: Q4517143 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864753
@@ Property / cites work: Q4864753 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682023
@@ Property / cites work: Q5682023 / rank @@
+Normal rank
@@ Property / cites work @@
+On Implicationally Defined Classes of Algebras
@@ Property / cites work: On Implicationally Defined Classes of Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-equational bases for graphs of semigroups, monoids and groups.
+Normal rank