On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) (Q1254312): Difference between revisions

@@ Property / cites work @@
+The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
+Normal rank
@@ 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 @@
+Q3259695
@@ Property / cites work: Q3259695 / 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 @@
+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 @@
+Q4078002
@@ Property / cites work: Q4078002 / rank @@
+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 @@
+Topological aspects of suitable theories
@@ Property / cites work: Topological aspects of suitable theories / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02124724
+Normal rank
@@ Property / OpenAlex ID @@
+W44069527
@@ Property / OpenAlex ID: W44069527 / rank @@
+Normal rank