Topological aspects of suitable theories

DOI10.1017/S001309150001049XMaRDI QIDQ4091908zbMATH OpenOpenAlexFDO

Authors Harold Simmons

Publication date 1975

Published in Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s001309150001049x

Mathematics Subject Classification ID

Topological representations of algebraic systems (54H10) General logic (03B99) Proof theory and constructive mathematics (03F99)

Cited in

(8)

• Dynamic Cantor Derivative Logic
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Calculating self-referential statements. I: Explicit calculations
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
• Topological interpretations of provability logic
• NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
• Fixed point algebras
• Un'estensione del teorema di Lob

This page was built for publication: Topological aspects of suitable theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4091908)