Deduction-preserving “recursive isomorphisms” between theories (Q5561955): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Mathematical significance of consistency proofs
@@ Property / cites work: Mathematical significance of consistency proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+“Recursive isomorphism” and effectively extensible theories
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1973799827
@@ Property / OpenAlex ID: W1973799827 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5561955