A note on the Kolmogorov data complexity and nonuniform logical definitions (Q290271): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+C13
@@ Property / Mathematics Subject Classification ID: 03C13 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C80
@@ Property / Mathematics Subject Classification ID: 03C80 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D15
@@ Property / Mathematics Subject Classification ID: 03D15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q19
@@ Property / Mathematics Subject Classification ID: 68Q19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q30
@@ Property / Mathematics Subject Classification ID: 68Q30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6588318
@@ Property / zbMATH DE Number: 6588318 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+finite model theory
@@ Property / zbMATH Keywords: finite model theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+descriptive complexity
@@ Property / zbMATH Keywords: descriptive complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Kolmogorov complexity
@@ Property / zbMATH Keywords: Kolmogorov complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+combinatorial problems
@@ Property / zbMATH Keywords: combinatorial problems / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal lower bound on the number of variables for graph identification
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilities on finite models
@@ Property / cites work: Probabilities on finite models / rank @@
+Normal rank
@@ Property / cites work @@
+The hierarchy theorem for generalized quantifiers
@@ Property / cites work: The hierarchy theorem for generalized quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Almost Everywhere Equivalence of Logics in Finite Model Theory
+Normal rank
@@ Property / cites work @@
+Q4337021
@@ Property / cites work: Q4337021 / rank @@
+Normal rank
@@ Property / cites work @@
+The Kolmogorov expression complexity of logics
@@ Property / cites work: The Kolmogorov expression complexity of logics / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0020-0190(97)00172-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2040072426
@@ Property / OpenAlex ID: W2040072426 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:290271