An effective fixed-point theorem in intuitionistic diagonalizable algebras
- 1 December 1976
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 35 (4) , 345-361
- https://doi.org/10.1007/bf02123402
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Significato e verità nell'aritmetica peanianaAnnali di Matematica Pura ed Applicata (1923 -), 1975
- Representation and duality theory for diagonalizable algebrasStudia Logica, 1975
- The fixed-point theorem for diagonalizable algebrasStudia Logica, 1975
- Problemi aperti sulle algebre diagonaliRendiconti del Seminario Matematico e Fisico di Milano, 1974
- Gödel's diagonalization technique and related properties of theoriesColloquium Mathematicum, 1973