Honest elementary degrees and degrees of relative provability without the cupping property (Q515565): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962938955
@@ Property / OpenAlex ID: W2962938955 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57948749
@@ Property / Wikidata QID: Q57948749 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06592
@@ Property / arXiv ID: 1604.06592 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of the degrees of relative provability
+Normal rank
@@ Property / cites work @@
+Induction rules, reflection principles, and provably recursive functions
+Normal rank
@@ Property / cites work @@
+Q4945240
@@ Property / cites work: Q4945240 / rank @@
+Normal rank
@@ Property / cites work @@
+On the induction schema for decidable predicates
@@ Property / cites work: On the induction schema for decidable predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Provability algebras and proof-theoretic ordinals. I
+Normal rank
@@ Property / cites work @@
+Degrees of relative provability
@@ Property / cites work: Degrees of relative provability / rank @@
+Normal rank
@@ Property / cites work @@
+Unprovability and proving unprovability
@@ Property / cites work: Unprovability and proving unprovability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893148
@@ Property / cites work: Q4893148 / rank @@
+Normal rank
@@ Property / cites work @@
+A jump operator on honest subrecursive degrees
@@ Property / cites work: A jump operator on honest subrecursive degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503966
@@ Property / cites work: Q4503966 / rank @@
+Normal rank
@@ Property / cites work @@
+Subrecursive degrees and fragments of Peano arithmetic
+Normal rank
@@ Property / cites work @@
+Degrees of Total Algorithms versus Degrees of Honest Functions
+Normal rank
@@ Property / cites work @@
+Streamlined subrecursive degree theory
@@ Property / cites work: Streamlined subrecursive degree theory / rank @@
+Normal rank
@@ Property / cites work @@
+Augmented loop languages and classes of computable functions
+Normal rank
@@ Property / cites work @@
+The honest subrecursive classes are a lattice
@@ Property / cites work: The honest subrecursive classes are a lattice / rank @@
+Normal rank
@@ Property / cites work @@
+On the density of honest subrecursive classes
@@ Property / cites work: On the density of honest subrecursive classes / rank @@
+Normal rank
@@ Property / cites work @@
+A Classification of the Recursive Functions
@@ Property / cites work: A Classification of the Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:515565