Pages that link to "Item:Q1214888"
From MaRDI portal
The following pages link to Model theory and topoi. A collection of lectures by various authors (Q1214888):
Displayed 7 items.
- Left exact logic (Q1092902) (← links)
- Intuitionist type theory and the free topos (Q1148318) (← links)
- Categorical De Morgan laws (Q1164129) (← links)
- Rings, fields, and spectra (Q1243769) (← links)
- Logic in Category Theory (Q2909761) (← links)
- (Q5013820) (← links)
- Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories (Q6116298) (← links)