Fixed point algebras (Q3333037): Difference between revisions

@@ Property / cites work @@
+Q3912553
@@ Property / cites work: Q3912553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190615
@@ Property / cites work: Q4190615 / 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 @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+A first course in group theory
@@ Property / cites work: A first course in group theory / rank @@
+Normal rank
@@ Property / cites work @@
+Partially Conservative Extensions of Arithmetic
@@ Property / cites work: Partially Conservative Extensions of Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Rosser sentences
@@ Property / cites work: Rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638320
@@ Property / cites work: Q5638320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5663866
@@ Property / cites work: Q5663866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619815
@@ Property / cites work: Q5619815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3259695
@@ Property / cites work: Q3259695 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4041555
@@ Property / cites work: Q4041555 / 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 @@
+Gödel's diagonalization technique and related properties of theories
+Normal rank
@@ Property / cites work @@
+Problemi aperti sulle algebre diagonali
@@ Property / cites work: Problemi aperti sulle algebre diagonali / rank @@
+Normal rank
@@ Property / cites work @@
+Q4126321
@@ Property / cites work: Q4126321 / 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 @@
+On the autological character of diagonalizable algebras
+Normal rank
@@ Property / cites work @@
+Q4172049
@@ Property / cites work: Q4172049 / rank @@
+Normal rank
@@ Property / cites work @@
+operators and alternating sentences in arithmetic
@@ Property / cites work: operators and alternating sentences in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3955334
@@ Property / cites work: Q3955334 / rank @@
+Normal rank
@@ Property / cites work @@
+For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.)
+Normal rank
@@ Property / cites work @@
+On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
+Normal rank
@@ Property / cites work @@
+Q3852250
@@ Property / cites work: Q3852250 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the first-order theory of diagonalizable algebras
+Normal rank
@@ Property / cites work @@
+Relative Interpretations
@@ Property / cites work: Relative Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5684660
@@ Property / cites work: Q5684660 / rank @@
+Normal rank
@@ Property / cites work @@
+Un'estensione del teorema di Lob
@@ Property / cites work: Un'estensione del teorema di Lob / 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 @@
+Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological aspects of suitable theories
@@ Property / cites work: Topological aspects of suitable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating self-referential statements. I: Explicit calculations
+Normal rank
@@ Property / cites work @@
+Calculating self-referential statements
@@ Property / cites work: Calculating self-referential statements / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating self-referential statements: Guaspari sentences of the first kind
+Normal rank
@@ Property / cites work @@
+Fifty years of self-reference in arithmetic
@@ Property / cites work: Fifty years of self-reference in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Commutativity and self-reference
@@ Property / cites work: Commutativity and self-reference / rank @@
+Normal rank
@@ Property / cites work @@
+The finite inseparability of the first-order theory of diagonalisable algebras
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A model of set-theory in which every set of reals is Lebesgue measurable
+Normal rank
@@ Property / cites work @@
+Q4115175
@@ Property / cites work: Q4115175 / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3942957
@@ Property / cites work: Q3942957 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic diagonalizable algebras
@@ Property / cites work: Intuitionistic diagonalizable algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\)
+Normal rank
@@ Property / cites work @@
+An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0273-0979-1982-15002-9
+Normal rank
@@ Property / OpenAlex ID @@
+W4230878649
@@ Property / OpenAlex ID: W4230878649 / rank @@
+Normal rank