Calculating self-referential statements. I: Explicit calculations (Q1259545): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
+Normal rank
@@ Property / cites work @@
+On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
+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 @@
+Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
+Normal rank
@@ Property / cites work @@
+On deciding the truth of certain statements involving the notion of consistency
+Normal rank
@@ Property / cites work @@
+Investigations in modal and tense logics with applications to problems in philosophy and linguistics
+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 @@
+Gödel's diagonalization technique and related properties of theories
+Normal rank
@@ Property / cites work @@
+Q4121962
@@ Property / cites work: Q4121962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726696
@@ Property / cites work: Q5726696 / 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 / cites work @@
+A note on the number of zeros of polynomials and exponential polynomials
+Normal rank
@@ Property / cites work @@
+Q3900021
@@ Property / cites work: Q3900021 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1259545