A Galois Connection |
| |
Authors: | Stan J Surma |
| |
Affiliation: | (1) 418 Hibiscus Coast Hwy, Orewa, 0931 Whangaparoa, Auckland, New Zealand |
| |
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.
Mathematics Subject Classification (2000): Primary 06A15, Secondary 28E10 03B22 |
| |
Keywords: | Galois connection closure operator consistency property |
本文献已被 SpringerLink 等数据库收录! |
|