Pages that link to "Item:Q638496"
From MaRDI portal
The following pages link to A characterization theorem for geometric logic (Q638496):
Displaying 12 items.
- Stairway to heaven: the abstract method and levels of abstraction in mathematics (Q517895) (← links)
- De Morgan classifying toposes (Q1034091) (← links)
- A topological completeness theorem (Q1283128) (← links)
- Classifying toposes for first-order theories (Q1382183) (← links)
- On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos (Q2254569) (← links)
- Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges' (Q2825457) (← links)
- Site characterizations for geometric invariants of toposes (Q2847340) (← links)
- Syntactic characterizations of properties of classifying toposes (Q2884477) (← links)
- (Q4440824) (← links)
- (Q4733864) (← links)
- (Q5215789) (← links)
- A logical look at characterizations of geometric transformations under mild hypotheses (Q5935915) (← links)