Extensions of countable infinitary logic which preserve most of its nice properties (Q3927221): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary logic and admissible sets
@@ Property / cites work: Infinitary logic and admissible sets / 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 @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Hanf numbers for fragments of L\(_{\infty \omega}\)
+Normal rank
@@ Property / cites work @@
+Adding propositional connectives to countable infinitary logic
+Normal rank
@@ Property / cites work @@
+On Extensions of Elementary Logic
@@ Property / cites work: On Extensions of Elementary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank