Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview (Q4953235): Difference between revisions

@@ Property / OpenAlex ID @@
+W2059486372
@@ Property / OpenAlex ID: W2059486372 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124967083
@@ Property / Wikidata QID: Q124967083 / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotic probabilities of existential second-order Gödel sentences
+Normal rank
@@ Property / cites work @@
+Q3905252
@@ Property / cites work: Q3905252 / rank @@
+Normal rank
@@ Property / cites work @@
+The class of problems that are linearly equivalent to Satisfiability or a uniform method for proving NP-completeness
+Normal rank
@@ Property / cites work @@
+Cliques in random graphs
@@ Property / cites work: Cliques in random graphs / rank @@
+Normal rank
@@ Property / cites work @@
+-1 laws and decision problems for fragments of second-order logic
+Normal rank
@@ Property / cites work @@
+On random models of finite power and monadic logic
+Normal rank
@@ Property / cites work @@
+The Gödel class with identity is unsolvable
@@ Property / cites work: The Gödel class with identity is unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Q2711918
@@ Property / cites work: Q2711918 / rank @@
+Normal rank
@@ Property / cites work @@
+Kernels in random graphs
@@ Property / cites work: Kernels in random graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilities on finite models
@@ Property / cites work: Probabilities on finite models / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences
+Normal rank
@@ Property / cites work @@
+Q3680834
@@ Property / cites work: Q3680834 / rank @@
+Normal rank
@@ Property / cites work @@
+A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality
+Normal rank