The hierarchy theorem for generalized quantifiers (Q5687317): 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/2275786
@@ Property / full work available at URL: https://doi.org/10.2307/2275786 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2159337272
@@ Property / OpenAlex ID: W2159337272 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Quantifiers and Logical Reducibilities
+Normal rank
@@ Property / cites work @@
+The number of finite relational structures
@@ Property / cites work: The number of finite relational structures / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal lower bound on the number of variables for graph identification
+Normal rank
@@ Property / cites work @@
+Vector spaces and binary quantifiers
@@ Property / cites work: Vector spaces and binary quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized quantifiers and pebble games on finite structures
+Normal rank
@@ Property / cites work @@
+Definability hierarchies of generalized quantifiers
+Normal rank
@@ Property / Recommended article @@
+The hierarchy theorem for second order generalized quantifiers
+Normal rank
+Similarity Score: 0.83978355Amount 0.83978355
Unit 1
-Amount
+.83978355
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On second-order generalized quantifiers and finite structures
+Normal rank
+Similarity Score: 0.8204154Amount 0.8204154
Unit 1
-Amount
+.8204154
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2702240
@@ Property / Recommended article: Q2702240 / rank @@
+Normal rank
@@ Property / Recommended article: Q2702240 / qualifier @@
+Similarity Score: 0.7993201Amount 0.7993201
Unit 1
-Amount
+.7993201
 Unit
@@ Property / Recommended article: Q2702240 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3597382
@@ Property / Recommended article: Q3597382 / rank @@
+Normal rank
@@ Property / Recommended article: Q3597382 / qualifier @@
+Similarity Score: 0.76847476Amount 0.76847476
Unit 1
-Amount
+.76847476
 Unit
@@ Property / Recommended article: Q3597382 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4955349
@@ Property / Recommended article: Q4955349 / rank @@
+Normal rank
@@ Property / Recommended article: Q4955349 / qualifier @@
+Similarity Score: 0.7682483Amount 0.7682483
Unit 1
-Amount
+.7682483
 Unit
@@ Property / Recommended article: Q4955349 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4355676
@@ Property / Recommended article: Q4355676 / rank @@
+Normal rank
@@ Property / Recommended article: Q4355676 / qualifier @@
+Similarity Score: 0.7682483Amount 0.7682483
Unit 1
-Amount
+.7682483
 Unit
@@ Property / Recommended article: Q4355676 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Questions about quantifiers
@@ Property / Recommended article: Questions about quantifiers / rank @@
+Normal rank
@@ Property / Recommended article: Questions about quantifiers / qualifier @@
+Similarity Score: 0.7586255Amount 0.7586255
Unit 1
-Amount
+.7586255
 Unit
@@ Property / Recommended article: Questions about quantifiers / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The expressive power of finitely many generalized quantifiers
+Normal rank
+Similarity Score: 0.757578Amount 0.757578
Unit 1
-Amount
+.757578
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Directions in generalized quantifier theory
+Normal rank
+Similarity Score: 0.7530074Amount 0.7530074
Unit 1
-Amount
+.7530074
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Definability of second order generalized quantifiers
+Normal rank
+Similarity Score: 0.7518468Amount 0.7518468
Unit 1
-Amount
+.7518468
 Unit
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:5687317