Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.) (Q1845881): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On axiomatizability within a system
@@ Property / cites work: On axiomatizability within a system / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Limiting recursion
@@ Property / cites work: Limiting recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5320764
@@ Property / cites work: Q5320764 / rank @@
+Normal rank
@@ Property / cites work @@
+Certain predicates defined by induction schemata
@@ Property / cites work: Certain predicates defined by induction schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's theorem, Church's theorem and mechanism
@@ Property / cites work: Gödel's theorem, Church's theorem and mechanism / rank @@
+Normal rank