Universal models and definability

DOI10.1017/S0305004111000624MaRDI QIDQ3225519zbMATH OpenOpenAlexFDO

Authors Olivia Caramello

Publication date 21 March 2012

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0906.3061

zbMATH Keywords

geometric logictopos theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Abstract: We show that the investigation of universal models in Topos Theory can shed light on problems of definability in Logic as well as on the investigation of De Morgan's law and the law of excluded middle on Grothendieck toposes.

Recommendations

• On the existence of universal models
• Definability issues in universal logic
• scientific article; zbMATH DE number 2196607
• scientific article; zbMATH DE number 5316601
• Universally axiomatizable subclasses of locally finite classes of models
• Definability for model counting
• Model theory under the axiom of determinateness
• Pointwise definable models of set theory
• Definability of models by means of existential formulas without identity

Cites work

• An elementary definability theorem for first order logic
• De Morgan classifying toposes
• De Morgan's law and the theory of fields
• Definability and descent
• Descent and duality
• Functions on universal algebras
• Strong conceptual completeness for first-order logic

Cited in

(14)

• The Skolem-Löwenheim theorem in toposes. II
• Universal abstract consistency class and universal refutation
• Some invariant skeletons for -u groups and MV-algebras
• On the geometric theory of local MV-algebras
• Theoretical equivalence in classical mechanics and its relationship to duality
• Some aspects of topological Galois theory
• Topologies for intermediate logics
• scientific article; zbMATH DE number 5722458 (Why is no real title available?)
• ULTRA-UNIVERSAL MODELS
• A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
• scientific article; zbMATH DE number 3993822 (Why is no real title available?)
• Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
• The Unification of Mathematics via Topos Theory
• Universal definability of Mal'tsev classes

This page was built for publication: Universal models and definability

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