Pages that link to "Item:Q1222158"

The following pages link to The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.) (Q1222158):

Displaying 14 items.

• Extensions of the provability logic (Q793006) (← links)
• Generic generalized Rosser fixed points (Q1099165) (← links)
• Provability: The emergence of a mathematical modality (Q1176093) (← links)
• On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.) (Q1223285) (← links)
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) (Q1233018) (← links)
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.) (Q1237068) (← links)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) (Q1237723) (← links)
• On the autological character of diagonalizable algebras (Q1238804) (← links)
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) (Q1254312) (← links)
• Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) (Q1254313) (← links)
• Calculating self-referential statements. I: Explicit calculations (Q1259545) (← links)
• Definability and commonsense reasoning (Q1402721) (← links)
• Fixed point algebras (Q3333037) (← links)
• Fixed points and unfounded chains (Q5939843) (← links)