Independence results in computer science? (Q1158957): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2050457879
@@ Property / OpenAlex ID: W2050457879 / rank @@
+Normal rank
@@ Property / cites work @@
+On “provable” analogs of and
@@ Property / cites work: On “provable” analogs of and / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702502
@@ Property / cites work: Q3702502 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Simplicity of Busy Beaver Sets
@@ Property / cites work: On the Simplicity of Busy Beaver Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Retraceable Sets
@@ Property / cites work: Retraceable Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Provable Recursive Functions
@@ Property / cites work: Theory of Provable Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+The forcing companions of number theories
@@ Property / cites work: The forcing companions of number theories / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity classes of provable recursive functions
+Normal rank
@@ Property / cites work @@
+Q4125776
@@ Property / cites work: Q4125776 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical hierarchy and complexity of computation
+Normal rank
@@ Property / cites work @@
+Q3256322
@@ Property / cites work: Q3256322 / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing, arithmetic, division rings
@@ Property / cites work: Forcing, arithmetic, division rings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138726
@@ Property / cites work: Q4138726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4153600
@@ Property / cites work: Q4153600 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic properties of number theories
@@ Property / cites work: Algebraic properties of number theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858182
@@ Property / cites work: Q3858182 / rank @@
+Normal rank
@@ Property / cites work @@
+Some independence results for Peano arithmetic
@@ Property / cites work: Some independence results for Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3870874
@@ Property / cites work: Q3870874 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Linear orderings under one-one reducibility
@@ Property / cites work: Linear orderings under one-one reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Toward a Theory of Enumerations
@@ Property / cites work: Toward a Theory of Enumerations / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization Among Provably Equivalent Programs
@@ Property / cites work: Optimization Among Provably Equivalent Programs / rank @@
+Normal rank