Definability and descent

DOI10.2307/2586836MaRDI QIDQ4212908zbMATH OpenOpenAlexFDO

Authors David Ballard, William Boshuck

Publication date 10 March 1999

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

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

zbMATH Keywords

definabilitydescentexact categoriespretoposes

Mathematics Subject Classification ID

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

Recommendations

• Duality and definability in first order logic
• scientific article; zbMATH DE number 810190
• Descent and duality

Cites work

• Descent and duality
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• Stone duality for first order logic

Cited in

(8)

• Proof of a conjecture of A. Pitts
• Pitts monads and a lax descent theorem
• Definability and invariance
• Definability aspects of the Denjoy integral
• Duality and definability in first order logic
• Universal models and definability
• scientific article; zbMATH DE number 810190 (Why is no real title available?)
• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH

This page was built for publication: Definability and descent

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4212908)