On the relationship between compact regularity and Gentzen's cut rule

DOI10.1016/j.tcs.2004.01.027zbMath1058.03081OpenAlexW2062496007MaRDI QIDQ1434354

M. Andrew Moshier

Publication date: 4 August 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.01.027

zbMATH Keywords

Stone dualityCompact regular localesPredicativitySequent calculus

Mathematics Subject Classification ID

Compactness (54D30) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Frames, locales (06D22) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)

Related Items (3)

A Duality Theorem for Real C * Algebras ⋮ A generalization of de Vries duality to closed relations between compact Hausdorff spaces ⋮ Beth definability and the Stone-Weierstrass theorem

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• A representation of stably compact spaces, and patch topology.
• Untersuchungen über das logische Schliessen. II
• Continuous domains in logical form
• Continuous Lattices and Domains
• The Theory of Representation for Boolean Algebras
• The regular-locally compact coreflection of a stably locally compact locale
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the relationship between compact regularity and Gentzen's cut rule