The following pages link to (Q3093856):
Displaying 3 items.
- The number of countable models in realizability toposes (Q456878) (← links)
- Encoding complete metric structures by classical structures (Q2228349) (← links)
- On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos (Q2254569) (← links)