Duality and definability in first order logic
DOI10.1090/MEMO/0503zbMATH Open0783.03038OpenAlexW2128215173WikidataQ56551496 ScholiaQ56551496MaRDI QIDQ3137743FDOQ3137743
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
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
dualitydefinabilityultraproductfirst order logiccategory of modelsdescent theoremBeth's theorem for propositional logicBoolean pretoposesdefinable functorsfactorizations in 2-categoriesfunctor specificationStone-type adjunctionultragroupoidsultramorphisms
Classical first-order logic (03B10) Categorical logic, topoi (03G30) Topoi (18B25) Ultraproducts and related constructions (03C20) Interpolation, preservation, definability (03C40)
Cited In (17)
- 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?
- An elementary definability theorem for first order logic
- 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)
