The Skolem-Löwenheim theorem in toposes
From MaRDI portal
Publication:2266009
DOI10.1007/BF01371634zbMath0561.03021MaRDI QIDQ2266009
Publication date: 1983
Published in: Studia Logica (Search for Journal in Brave)
generalized quantifiers; first-order structures; downward Skolem-Löwenheim theorem; models in toposes; power of an object
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
- Sheaves and Boolean valued model theory