There are reasonably nice logics (Q3981457): 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/2274921
@@ Property / full work available at URL: https://doi.org/10.2307/2274921 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2136001726
@@ Property / OpenAlex ID: W2136001726 / rank @@
+Normal rank
@@ 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