Definability and descent

DOI10.2307/2586836zbMath0908.18001OpenAlexW2167158462MaRDI QIDQ4212908

David Ballard, William Boshuck

Publication date: 10 March 1999

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586836

zbMATH Keywords

definabilityexact categoriesdescentpretoposes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abelian categories, Grothendieck categories (18E10) Categories in geometry and topology (18F99) Interpolation, preservation, definability (03C40) Foundations, relations to logic and deductive systems (18A15)

Related Items (2)

Universal models and definability ⋮ Pitts monads and a lax descent theorem

Cites Work

• Unnamed Item
• Stone duality for first order logic
• Descent and duality

This page was built for publication: Definability and descent