Definability and descent

DOI10.2307/2586836zbMath0908.18001MaRDI 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

definability; exact categories; descent; pretoposes

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

18E10: Abelian categories, Grothendieck categories

18F99: Categories in geometry and topology

03C40: Interpolation, preservation, definability

18A15: Foundations, relations to logic and deductive systems

Related Items

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

Cites Work

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