Topological Completeness for Higher-Order Logic
Awodey, S. ; Butz, C.
J. Symbolic Logic, Tome 65 (2000) no. 1, p. 1168-1182 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces-so-called "topological semantics". The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.
Publié le : 2000-09-14
Classification:  
@article{1183746174,
     author = {Awodey, S. and Butz, C.},
     title = {Topological Completeness for Higher-Order Logic},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 1168-1182},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746174}
}

Awodey, S.; Butz, C. Topological Completeness for Higher-Order Logic. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  1168-1182. http://gdmltest.u-ga.fr/item/1183746174/