An Ehrenfeucht-Fraïssé game for Lω1ω (Q2856638): Difference between revisions

@@ Property / arXiv ID @@
+.0108
@@ Property / arXiv ID: 1212.0108 / rank @@
+Normal rank
@@ Property / cites work @@
+The role of the Omitting Types Theorem in infinitary logic
+Normal rank
@@ Property / cites work @@
+Reduced products and nonstandard logics
@@ Property / cites work: Reduced products and nonstandard logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3289861
@@ Property / cites work: Q3289861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331477
@@ Property / cites work: Q5331477 / rank @@
+Normal rank
@@ Property / cites work @@
+An interpolation theorem for denumerably long formulas
+Normal rank
@@ Property / cites work @@
+The sentential calculus with infinitely long expressions
+Normal rank
@@ Property / cites work @@
+Remarks on predicate logic with infinitely long expressions
+Normal rank
@@ Property / cites work @@
+On the semantics of informational independence
@@ Property / cites work: On the semantics of informational independence / rank @@
+Normal rank