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

@@ 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.1007/s00012-018-0507-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2799774902
@@ Property / OpenAlex ID: W2799774902 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q129946644
@@ Property / Wikidata QID: Q129946644 / rank @@
+Normal rank