Interpolation and compactness in categories of pre-institutions (Q4715675): Difference between revisions

@@ Property / author @@
-Antonino Salibra
@@ Property / author: Antonino Salibra / rank @@
-Normal rank
@@ Property / author @@
+Antonino Salibra
@@ Property / author: Antonino Salibra / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Equational type logic
@@ Property / cites work: Equational type logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+A simple algebraic proof of the equational interpolation theorem
+Normal rank