Pages that link to "Item:Q1233018"

The following pages link to The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) (Q1233018):

Displayed 13 items.

• Finite fixed point algebras are subdiagonalisable (Q581435) ‎ (← links)
• On modal \(\mu \)-calculus and Gödel-Löb logic (Q1015480) ‎ (← links)
• The modal logic of provability. The sequential approach (Q1056745) ‎ (← links)
• Generic generalized Rosser fixed points (Q1099165) ‎ (← links)
• Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic (Q1153077) ‎ (← links)
• The well-founded algebras (Q1155639) ‎ (← links)
• Provability: The emergence of a mathematical modality (Q1176093) ‎ (← links)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) (Q1237723) ‎ (← 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)
• A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) ‎ (← links)
• Fixed point algebras (Q3333037) ‎ (← links)