Pages that link to "Item:Q1237723"

The following pages link to An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) (Q1237723):

Displaying 23 items.

• Provability and interpretability logics with restricted realizations (Q435232) (← links)
• Finite fixed point algebras are subdiagonalisable (Q581435) (← links)
• On the \(\mu \)-calculus over transitive and finite transitive frames (Q606994) (← links)
• The modal logic of provability. The sequential approach (Q1056745) (← links)
• Decision problems for classes of diagonalizable algebras (Q1075310) (← links)
• Generic generalized Rosser fixed points (Q1099165) (← links)
• A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\) (Q1134143) (← links)
• Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic (Q1153077) (← links)
• Provability: The emergence of a mathematical modality (Q1176093) (← 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)
• Rosser and Mostowski sentences (Q1263586) (← links)
• A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
• Scattered toposes (Q1977486) (← links)
• Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
• A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
• Note on some fixed point constructions in provability logic (Q2499296) (← links)
• Fixed point algebras (Q3333037) (← links)
• The Henkin Sentence (Q3454817) (← links)
• Some remarks on the algebraic structure of the Medvedev Lattice (Q3481688) (← links)
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ (Q3647244) (← links)
• The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467) (← links)