Topological aspects of suitable theories

DOI10.1017/S001309150001049XzbMath0327.02028OpenAlexW2168444008MaRDI QIDQ4091908

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

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

Related Items (8)

Dynamic Cantor Derivative Logic ⋮ Fixed point algebras ⋮ 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 ⋮ NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC ⋮ Topological Interpretations of Provability Logic

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