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

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)

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)