You are not currently logged in.
Access JSTOR through your library or other institution:
The Uniqueness of the Fixed-Point in Every Diagonalizable Algebra (The Algebraization of the Theories Which Express Theor; VIII)
Studia Logica: An International Journal for Symbolic Logic
Vol. 35, No. 4 (1976), pp. 335-343
Published by: Springer
Stable URL: http://www.jstor.org/stable/20014824
Page Count: 9
You can always find the topics here!Topics: Algebra, Mathematical theorems, Universal algebra, Polynomials, Uniqueness, Boolean algebras, Lindenbaum Tarski algebra, Peano axioms, Abstract algebra, Induced substructures
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
It is well known that, in Peano arithmetic, there exists a formula Theor (x) which numerates the set of theorems. By Gödel's and Löb's results, we have that Theor (˹p˺) ≡ p implies p is a theorem ∼Theor (˹p˺) ≡ p implies p is provably equivalent to Theor (˹0 = 1˺). Therefore, the considered "equations" admit, up to provable equivalence, only one solution. In this paper we prove (Corollary 1) that, in general, if P (x) is an arbitrary formula built from Theor (x), then the fixed-point of P (x) (which exists by the diagonalization lemma) is unique up to provable equivalence. This result is settled referring to the concept of diagonalizable algebra (see Introduction).
Studia Logica: An International Journal for Symbolic Logic © 1976 Springer