A Galois Connection |
| |
| Authors: | Stan J Surma |
| |
| Institution: | (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 等数据库收录！ |
|
