Papers · editions · sources

Library catalog

Two questions organized this library: what do we actually know that holds invariantly true? How can structure endure as an identifiable difference while global conditions change through time?

The papers follow those questions through their dependencies. Each one either develops a relation required by the prior constructions or reads the same system from another formal vantage point. The catalog keeps every paper’s source, carrier, proof scope, and publication status in view.

Showing 36 entries

Reference records

Maps and archive records

Nineteen source and dependency maps remain separate from the paper shelf.

Source and notation

About these records

Open the source ledger

Library / paper details

What this paper establishes

Place in the architecture

Connections made explicit