Abstract.
The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.
Article PDF
Similar content being viewed by others
Use our pre-submission checklist
Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000): Primary 06A15, Secondary 28E10 03B22
Rights and permissions
About this article
Cite this article
Surma, S.J. A Galois Connection. Log. univers. 1, 209–219 (2007). https://doi.org/10.1007/s11787-006-0011-6
Issue Date:
DOI: https://doi.org/10.1007/s11787-006-0011-6