An effective fixed-point theorem in intuitionistic diagonalizable algebras
Studia Logica 35 (4):345 - 361 (1976)
| Abstract | Within the technical frame supplied by the algebraic variety of diagonalizable algebras, defined by R. Magari in [2], we prove the following: Let T be any first-order theory with a predicate Pr satisfying the canonical derivability conditions, including Löb's property. Then any formula in T built up from the propositional variables $q,p_{1},...,p_{n}$ , using logical connectives and the predicate Pr, has the same "fixed-points" relative to q (that is, formulas $\psi (p_{1},...,p_{n})$ for which for all $p_{1},...,p_{n}\vdash _{T}\phi (\psi (p_{1},...,p_{n}),p_{1},...,p_{n})\leftrightarrow \psi (p_{1},...,p_{n})$ ) of a formula $\phi ^{\ast}$ of the same kind, obtained from φ in an effective way. Moreover, such $\phi ^{\ast}$ is provably equivalent to the formula obtained from φ substituting with $\phi ^{\ast}$ itself all the occurrences of q which are under Pr. In the particular case where q is always under Pr in φ, $\phi ^{\ast}$ is the unique (up to provable equivalence) "fixed-point" of φ. Since this result is proved only assuming Pr to be canonical, it can be deduced that Löb's property is, in a sense, equivalent to Gödel's diagonalization lemma. All the results are proved more generally in the intuitionistic case | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesXavier Caicedo & Roberto Cignoli (2001). An Algebraic Approach to Intuitionistic Connectives. Journal of Symbolic Logic 66 (4):1620-1636.
Glaudio Bernardi (1975). On the Equational Class of Diagonalizable Algebras. Studia Logica 34 (4):321 - 331.
Franco Montagna (1975). For Everyn, Then-Freely Generated Algebra is Not Functionally Free in the Equational Class of Diagonalizable Algebras. Studia Logica 34 (4):315 - 319.
Claudio Bernardi (1975). The Fixed-Point Theorem for Diagonalizable Algebras. Studia Logica 34 (3):239 - 251.
Franco Montagna (1980). Interpretations of the First-Order Theory of Diagonalizable Algebras in Peano Arithmetic. Studia Logica 39 (4):347 - 354.
Dieter Probst (2006). The Proof-Theoretic Analysis of Transfinitely Iterated Quasi Least Fixed Points. Journal of Symbolic Logic 71 (3):721 - 746.
Aldo Ursini (1985). Decision Problems for Classes of Diagonalizable Algebras. Studia Logica 44 (1):87 - 89.
Roberto Magari (1976). On the Autological Character of Diagonalizable Algebras. Studia Logica 35 (4):327 - 333.
Andrew M. Pitts (1992). On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic. Journal of Symbolic Logic 57 (1):33-52.
Claudio Bernardi (1976). The Uniqueness of the Fixed-Point in Every Diagonalizable Algebra. Studia Logica 35 (4):335 - 343.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #234,650 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
