Topologies, ranks, and closures for families of theories. I (Q2026738): Difference between revisions

@@ Property / DOI @@
-.1007/s10469-021-09620-4
@@ Property / DOI: 10.1007/s10469-021-09620-4 / rank @@
-Normal rank
@@ 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/s10469-021-09620-4
+Normal rank
@@ Property / OpenAlex ID @@
+W4240245539
@@ Property / OpenAlex ID: W4240245539 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximations of theories
@@ Property / cites work: Approximations of theories / rank @@
+Normal rank
@@ Property / cites work @@
+Definable families of theories, related calculi and ranks
+Normal rank
@@ Property / cites work @@
+Algebras for definable families of theories
@@ Property / cites work: Algebras for definable families of theories / rank @@
+Normal rank
@@ Property / cites work @@
+Ranks for families of permutation theories
@@ Property / cites work: Ranks for families of permutation theories / rank @@
+Normal rank
@@ Property / cites work @@
+Ranks for families of theories of abelian groups
@@ Property / cites work: Ranks for families of theories of abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Positive Jonsson theories
@@ Property / cites work: Positive Jonsson theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+ON RELATIVE SEPARABILITY IN HYPERGRAPHS OF MODELS OF THEORIES
+Normal rank
@@ Property / cites work @@
+Closures and generating sets related to combinations of structures
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5707890
@@ Property / cites work: Q5707890 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10469-021-09620-4
@@ Property / DOI: 10.1007/S10469-021-09620-4 / rank @@
+Normal rank