Pages that link to "Item:Q2254569"
From MaRDI portal
The following pages link to On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos (Q2254569):
Displaying 7 items.
- A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra (Q382416) (← links)
- Relativized Grothendieck topoi (Q636365) (← links)
- The Skolem-Löwenheim theorem in toposes. II (Q1068081) (← links)
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233) (← links)
- Encoding complete metric structures by classical structures (Q2228349) (← links)
- INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM (Q5855752) (← links)
- Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (Q6094124) (← links)
