scientific article
From MaRDI portal
Publication:3372925
zbMath1089.18004MaRDI QIDQ3372925
Publication date: 10 March 2006
Full work available at URL: http://www.emis.de/journals/TAC/reprints/articles/15/tr15abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Collected or selected works; reprintings or translations of classics (01A75) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) History of category theory (18-03)
Related Items (8)
Logic in Category Theory ⋮ DIAGONALIZATION EXHIBITED IN THE LIAR PARADOX, RUSSELL’S PARADOX AND GÖDEL’S INCOMPLETENESS THEOREM ⋮ On the failure of fixed-point theorems for chain-complete lattices in the effective topos ⋮ Categorical pairs and the indicative shift ⋮ Metric spaces in synthetic topology ⋮ On the Semantics of Intensionality ⋮ Why Categories? ⋮ Feferman’s Forays into the Foundations of Category Theory
This page was built for publication:
