On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos
From MaRDI portal
Publication:2254569
DOI10.1007/s11787-014-0105-5zbMath1354.03099OpenAlexW1992893666MaRDI QIDQ2254569
Publication date: 5 February 2015
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-014-0105-5
Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other infinitary logic (03C75) Other model constructions (03C30)
Related Items
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem, Encoding complete metric structures by classical structures
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relativized Grothendieck topoi
- Sheaves in geometry and logic: a first introduction to topos theory
- Completeness in generalized ultrametric spaces
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Set Theory