Significato e verita nell'aritmetica peaniana (Q1221103): Difference between revisions

@@ 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 @@
+Q5571677
@@ Property / cites work: Q5571677 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
+Normal rank
@@ Property / cites work @@
+Q4046030
@@ Property / cites work: Q4046030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5320764
@@ Property / cites work: Q5320764 / rank @@
+Normal rank
@@ Property / cites work @@
+Trial and error predicates and the solution to a problem of Mostowski
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5761282
@@ Property / cites work: Q5761282 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Logic Based on Ordinals<sup>†</sup>
@@ Property / cites work: Systems of Logic Based on Ordinals<sup>†</sup> / rank @@
+Normal rank