Some applications of Henkin quantifiers (Q1233865): Difference between revisions

@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175540
@@ Property / cites work: Q4175540 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to recursively saturated and resplendent models
+Normal rank
@@ Property / cites work @@
+On axiomatizability within a system
@@ Property / cites work: On axiomatizability within a system / rank @@
+Normal rank
@@ Property / cites work @@
+A Set of Independent Axioms for a Field and a Condition for a Group to be the Multiplicative Group of a Field
+Normal rank
@@ Property / cites work @@
+Q3265704
@@ Property / cites work: Q3265704 / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of infinitely long formulas
@@ Property / cites work: Some applications of infinitely long formulas / rank @@
+Normal rank
@@ Property / cites work @@
+First order properties of pairs of cardinals
@@ Property / cites work: First order properties of pairs of cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813180
@@ Property / cites work: Q5813180 / rank @@
+Normal rank
@@ Property / cites work @@
+How not to Characterize the Multiplicative Groups of Fields
+Normal rank
@@ Property / cites work @@
+An axiomatization for a class of two-cardinal models
+Normal rank
@@ Property / cites work @@
+Finite partially-ordered quantification
@@ Property / cites work: Finite partially-ordered quantification / rank @@
+Normal rank