La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266): Difference between revisions

@@ Property / OpenAlex ID @@
+W2583532270
@@ Property / OpenAlex ID: W2583532270 / rank @@
+Normal rank
@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Separation principles in the hierarchies of classical and effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Finite computability of Postnikov complexes
@@ Property / cites work: Finite computability of Postnikov complexes / rank @@
+Normal rank
@@ Property / cites work @@
+On the concept of a random sequence
@@ Property / cites work: On the concept of a random sequence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
+Normal rank
@@ Property / cites work @@
+Q3252703
@@ Property / cites work: Q3252703 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Method for Quantification Theory: Its Justification and Realization
+Normal rank
@@ Property / cites work @@
+Q3260573
@@ Property / cites work: Q3260573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813180
@@ Property / cites work: Q5813180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+Q3281965
@@ Property / cites work: Q3281965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331485
@@ Property / cites work: Q5331485 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical significance of consistency proofs
@@ Property / cites work: Mathematical significance of consistency proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+La prédicativité
@@ Property / cites work: La prédicativité / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596755
@@ Property / cites work: Q5596755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246326
@@ Property / cites work: Q3246326 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5567860
@@ Property / cites work: Q5567860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241198
@@ Property / cites work: Q3241198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3243267
@@ Property / cites work: Q3243267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262213
@@ Property / cites work: Q3262213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5730892
@@ Property / cites work: Q5730892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661491
@@ Property / cites work: Q5661491 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective operations on partial recursive functions
+Normal rank
@@ Property / cites work @@
+Q3229410
@@ Property / cites work: Q3229410 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution to a problem of Gandy's
@@ Property / cites work: Solution to a problem of Gandy's / rank @@
+Normal rank
@@ Property / cites work @@
+Concatenation as a basis for arithmetic
@@ Property / cites work: Concatenation as a basis for arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of group theoretic problems
+Normal rank
@@ Property / cites work @@
+On recursively enumerable and arithmetic models of set theory
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel numberings of partial recursive functions
@@ Property / cites work: Gödel numberings of partial recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Representability of recursively enumerable sets in formal theories
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5536266