Problemi aperti sulle algebre diagonali (Q4121961): 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 @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+The relation of <i>A</i> to Prov ˹<i>A</i>˺ in the Lindenbaum sentence algebra
+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 @@
+Q5659623
@@ Property / cites work: Q5659623 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068785
@@ Property / cites work: Q4068785 / rank @@
+Normal rank
@@ Property / cites work @@
+Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
+Normal rank
@@ Property / cites work @@
+Significato e verita nell'aritmetica peaniana
@@ Property / cites work: Significato e verita nell'aritmetica peaniana / rank @@
+Normal rank
@@ Property / cites work @@
+Q4078002
@@ Property / cites work: Q4078002 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories incomparable with respect to relative interpretability
+Normal rank
@@ Property / cites work @@
+Q5678913
@@ Property / cites work: Q5678913 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4121961