---
author: Steven Vickers
category:
  - math
date: '2026-10-20'
description: a treatment of topology through logic, frames, and locales, with applications to theoretical computer science.
external: https://pages.jh.edu/rrynasi1/FoundationsOFMath/Literature/Topology/Vickers1989TopologyViaLogic.pdf
id: Topology via Logic
modified: 2026-10-20 17:24:30 GMT-04:00
posters: '[[library/posters/topology-via-logic.jpg]]'
seealso:
  - '[[arena/math/entry-v1-584830d8980475788af1c44a92c6d9e993ccfefc7724ee421b2380f99a1c73b4|Arena]]'
status: to read
title: Topology via Logic
year: 1989
authors: Steven Vickers
created: '2026-10-20'
published: '2026-10-20'
pageLayout: default
slug: library/Topology-via-Logic
permalink: https://aarnphm.xyz/library/Topology-via-Logic.md
generator:
  quartz: v4.6.0
  hostedProvider: Cloudflare
  baseUrl: aarnphm.xyz
full: https://aarnphm.xyz/llms-full.txt
---