Inverse topological systems and compactness in abstract model theory (Q3767332): 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.2307/2274032
@@ Property / full work available at URL: https://doi.org/10.2307/2274032 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2164804557
@@ Property / OpenAlex ID: W2164804557 / rank @@
+Normal rank
@@ 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