Geometric and higher order logic in terms of abstract Stone duality.

Taylor, Paul. "Geometric and higher order logic in terms of abstract Stone duality.." Theory and Applications of Categories [electronic only] 7 (2000): 284-338. <http://eudml.org/doc/121233>.

@article{Taylor2000,
author = {Taylor, Paul},
journal = {Theory and Applications of Categories [electronic only]},
keywords = {locally compact spaces; compact Hausdorff spaces; open spaces; overt spaces; open maps; proper maps; higher order logics; contravariant powerset; elementary topos; subobject classifier; Euclidean principle; synthetic domain theory; monadic adjunction; quantifiers; pretopos},
language = {eng},
pages = {284-338},
publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},
title = {Geometric and higher order logic in terms of abstract Stone duality.},
url = {http://eudml.org/doc/121233},
volume = {7},
year = {2000},
}

TY - JOUR
AU - Taylor, Paul
TI - Geometric and higher order logic in terms of abstract Stone duality.
JO - Theory and Applications of Categories [electronic only]
PY - 2000
PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville
VL - 7
SP - 284
EP - 338
LA - eng
KW - locally compact spaces; compact Hausdorff spaces; open spaces; overt spaces; open maps; proper maps; higher order logics; contravariant powerset; elementary topos; subobject classifier; Euclidean principle; synthetic domain theory; monadic adjunction; quantifiers; pretopos
UR - http://eudml.org/doc/121233
ER -