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

Theory and Applications of Categories [electronic only] (2000)

- Volume: 7, page 284-338
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topTaylor, 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 -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.