The fixed-point theorem for diagonalizable algebras
- 1 September 1975
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 34 (3) , 239-251
- https://doi.org/10.1007/bf02125226
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebraThe Journal of Symbolic Logic, 1973
- Gödel's diagonalization technique and related properties of theoriesColloquium Mathematicum, 1973
- Theories incomparable with respect to relative interpretabilityThe Journal of Symbolic Logic, 1962
- Solution of a problem of Leon HenkinThe Journal of Symbolic Logic, 1955