An elementary definability theorem for first order logic

DOI10.2307/2586617zbMath0945.03046OpenAlexW2087316813MaRDI QIDQ4934027

Ieke Moerdijk, Carsten Butz

Publication date: 27 September 2000

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

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

zbMATH Keywords

automorphismdefinabilityBoolean valued modeltopos-theoretical interpretation

Mathematics Subject Classification ID

Topoi (18B25) Models with special properties (saturated, rigid, etc.) (03C50) Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (2)

Universal models and definability ⋮ Neighborhood-Sheaf Semantics for First-Order Modal Logic

Cites Work

• All topoi are localic or why permutation models prevail
• Representing topoi by topological groupoids
• Classifying toposes for first-order theories
• Constructive Sheaf Semantics

This page was built for publication: An elementary definability theorem for first order logic