The Skolem-Löwenheim theorem in toposes

DOI10.1007/BF01371634zbMath0561.03021MaRDI QIDQ2266009

Marek W. Zawadowski

Publication date: 1983

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

generalized quantifiersfirst-order structuresdownward Skolem-Löwenheim theoremmodels in toposespower of an object

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Logic with extra quantifiers and operators (03C80)

Related Items (2)

Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ The Skolem-Löwenheim theorem in toposes. II

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

This page was built for publication: The Skolem-Löwenheim theorem in toposes