An elementary definability theorem for first order logic

DOI10.2307/2586617MaRDI QIDQ4934027zbMATH OpenOpenAlexFDO

Authors Carsten Butz, Ieke Moerdijk

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, http://hdl.handle.net/2066/129038

zbMATH Keywords

automorphismBoolean valued modeldefinabilitytopos-theoretical interpretation

Mathematics Subject Classification ID

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

Review text

The authors prove the following definablility theorem. For any first order theory \(T\) there exists a Boolean valued model \(M\) such that (i) for any sentence \(\phi\), \(M \models \phi\) iff \(T \vdash \phi\) and (ii) any predicate which is invariant under all automorphisms of \(M\) is definable. This is a generalisation e.g. of the well-known fact that every countable complete theory has a model with the above properties, for example a countable recursively saturated model. The paper is entirely self-contained. The authors give a comprehensive introduction into Boolean valued models. Using only elementary tools from model theory, a small Boolean valued model satisfying (i) and (ii) is constructed. In an appendix the authors give a topos-theoretical interpretation of this Boolean valued model, which yields a variant of a theorem of Freyd's [\textit{P. Freyd}, ``All topoi are localic or why permutation models prevail, J. Pure Appl. Algebra 46, 49-58 (1987; Zbl 0611.18003)].

Recommendations

• scientific article; zbMATH DE number 1751350
• scientific article; zbMATH DE number 4012609
• Elementary definability and completeness in general and positive modal logic
• Publication:4729755
• A Lindström theorem for intuitionistic first-order logic
• Proof Theory for First Order Łukasiewicz Logic
• First-order definability on finite structures
• scientific article; zbMATH DE number 1910376
• First-order Gödel logics
• Duality and definability in first order logic

Cites work

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

Cited in

(6)

• Neighborhood-sheaf semantics for first-order modal logic
• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• Universal models and definability
• scientific article; zbMATH DE number 3937166 (Why is no real title available?)
• scientific article; zbMATH DE number 3950501 (Why is no real title available?)
• Eastern Model‐Theory for Boolean‐Valued Theories

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

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