There are reasonably nice logics (Q3981457): Difference between revisions

@@ Property / cites work @@
+Some applications of Henkin quantifiers
@@ Property / cites work: Some applications of Henkin quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+On the nonaxiomatizability of some logics by finitely many schemas
+Normal rank
@@ Property / cites work @@
+Remarks in abstract model theory
@@ Property / cites work: Remarks in abstract model theory / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization for a class of two-cardinal models
+Normal rank
@@ Property / cites work @@
+Compact extensions of L(Q) (part 1a)
@@ Property / cites work: Compact extensions of L(Q) (part 1a) / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games and reduced products
@@ Property / cites work: Infinite games and reduced products / rank @@
+Normal rank