A note on non-extensional operations in connection with continuity and recursiveness
- 1 January 1977
- journal article
- Published by Elsevier in Indagationes Mathematicae
- Vol. 80 (5) , 455-462
- https://doi.org/10.1016/1385-7258(77)90060-9
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Special instances of generalized continuity which are conservative over intuitionistic arithmeticIndagationes Mathematicae, 1977
- The theory of the Gödel functionalsThe Journal of Symbolic Logic, 1976
- Non-extensional equalityFundamenta Mathematicae, 1974
- On weak completeness of intuitionistic predicate logicThe Journal of Symbolic Logic, 1962