Topological aspects of suitable theories
From MaRDI portal
Publication:4091908
DOI10.1017/S001309150001049XzbMath0327.02028MaRDI QIDQ4091908
Publication date: 1975
Published in: Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)
03B99: General logic
54H10: Topological representations of algebraic systems
03F99: Proof theory and constructive mathematics
Related Items
Un'estensione del teorema di Lob, An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.), On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X), Calculating self-referential statements. I: Explicit calculations, Fixed point algebras