Topological aspects of suitable theories

DOI10.1017/S001309150001049XzbMATH Open0327.02028OpenAlexW2168444008MaRDI QIDQ4091908FDOQ4091908

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
• Topological Interpretations of Provability 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)
• 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)