Inverse topological systems and compactness in abstract model theory (Q3767332): Difference between revisions

@@ Property / cites work @@
+Stationary logic
@@ Property / cites work: Stationary logic / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for abstract model theory
@@ Property / cites work: Axioms for abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
+Normal rank
@@ Property / cites work @@
+Applications of Many‐Sorted Robinson Consistency Theorem
+Normal rank
@@ Property / cites work @@
+Logic with the quantifier “there exist uncountably many”
+Normal rank