Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic (Q1153077): Difference between revisions

@@ Property / cites work @@
+The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Q4121962
@@ Property / cites work: Q4121962 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
+Normal rank
@@ Property / cites work @@
+On the autological character of diagonalizable algebras
+Normal rank
@@ Property / cites work @@
+An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank