An elementary definability theorem for first order logic
From MaRDI portal
Publication:4934027
DOI10.2307/2586617zbMath0945.03046MaRDI QIDQ4934027
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
18B25: Topoi
03C50: Models with special properties (saturated, rigid, etc.)
03C40: Interpolation, preservation, definability
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
Related Items
Cites Work