Duality and definability in first order logic

DOI10.1090/MEMO/0503MaRDI QIDQ3137743zbMATH OpenOpenAlexWikidataFDO

Authors Michael Makkai

Publication date 13 October 1993

Published in Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/a728a203dfe8ce992c87237b4feec035529d805f

zbMATH Keywords

dualitydefinabilityultraproductfirst order logiccategory of modelsdescent theoremBeth's theorem for propositional logicBoolean pretoposesdefinable functorsfactorizations in 2-categoriesfunctor specificationStone-type adjunctionultragroupoidsultramorphisms

Mathematics Subject Classification ID

Classical first-order logic (03B10) Categorical logic, topoi (03G30) Topoi (18B25) Ultraproducts and related constructions (03C20) Interpolation, preservation, definability (03C40)

Recommendations

• Definability and descent
• scientific article; zbMATH DE number 3893196
• scientific article; zbMATH DE number 3931013
• Strong conceptual completeness for first-order logic
• Stone duality for first order logic
• Proof of a conjecture of A. Pitts
• Pretopologies and completeness proofs
• scientific article; zbMATH DE number 3899134
• T-adjunction
• Extensions of topological structures and metric properties of mappings

Cited in

(17)

• An elementary definability theorem for first order logic
• Galois theory in variable categories
• Descent and duality
• A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
• Generalized Płonka sums and products
• Facets of descent. I
• Proof of a conjecture of A. Pitts
• Mutual definability does not imply definitional equivalence, a simple example
• Computing coproducts of finitely presented Gödel algebras
• Beth definability and the Stone-Weierstrass theorem
• Topological representation of geometric theories
• Ultrafilters, finite coproducts and locally connected classifying toposes
• European summer meeting of the Association for Symbolic Logic
• First-order logical duality
• Dual realizability in symmetric logic
• Why not categorical equivalence?
• Adjointness in descent theory

This page was built for publication: Duality and definability in first order logic

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