Relativized Grothendieck topoi

DOI10.1016/j.apal.2010.04.003zbMath1223.03054OpenAlexW2150720605MaRDI QIDQ636365

Nathanael Leedom Ackerman

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.04.003

zbMATH Keywords

choicehigher-order logicsheavesrelativizationGrothendieck toposmodels of set theorysites

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Models of arithmetic and set theory (03C62)

Related Items

Potential isomorphisms of generalized approach spaces ⋮ Encoding complete metric structures by classical structures ⋮ On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos

Cites Work

• Zur Axiomatik der Mengenlehre
• Sheaves in geometry and logic: a first introduction to topos theory
• Lawvere–Tierney sheaves in Algebraic Set Theory
• Relating First-Order Set Theories and Elementary Toposes
• Admissible Sets and Structures
• Unnamed Item
• Unnamed Item
• Unnamed Item