On the algebraization of a Feferman's predicate
- 1 September 1978
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 37 (3) , 221-236
- https://doi.org/10.1007/bf02124724
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- An effective fixed-point theorem in intuitionistic diagonalizable algebrasStudia Logica, 1976
- The uniqueness of the fixed-point in every diagonalizable algebraStudia Logica, 1976
- Representation and duality theory for diagonalizable algebrasStudia Logica, 1975
- The fixed-point theorem for diagonalizable algebrasStudia Logica, 1975
- Arithmetization of metamathematics in a general settingFundamenta Mathematicae, 1960
- Solution of a problem of Leon HenkinThe Journal of Symbolic Logic, 1955