The following pages link to (Q3372925):
Displaying 8 items.
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos (Q418812) (← links)
- Categorical pairs and the indicative shift (Q440655) (← links)
- Metric spaces in synthetic topology (Q651311) (← links)
- Logic in Category Theory (Q2909761) (← links)
- On the Semantics of Intensionality (Q2988392) (← links)
- Why Categories? (Q3296105) (← links)
- DIAGONALIZATION EXHIBITED IN THE LIAR PARADOX, RUSSELL’S PARADOX AND GÖDEL’S INCOMPLETENESS THEOREM (Q5073951) (← links)
- Feferman’s Forays into the Foundations of Category Theory (Q5214790) (← links)
