The Skolem-Löwenheim theorem in toposes. II

DOI10.1007/BF00370808zbMath0581.03031OpenAlexW2007536766MaRDI QIDQ1068081

Marek W. Zawadowski

Publication date: 1985

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

Full work available at URL: https://doi.org/10.1007/bf00370808

zbMATH Keywords

reducibilityGrothendieck toposesKripke modelsquantifiersmonoiddynamic modelsmodels in categories of M-sets

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites Work

• 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
• The Skolem-Löwenheim theorem in toposes
• Sheaves and Boolean valued model theory
• On the strong semantical completeness of the intuitionistic predicate calculus
• Algebraic Treatment of the Functional Calculi of Heyting and Lewis
• Algebraic treatment of the notion of satisfiability
• Unnamed Item
• Unnamed Item
• Unnamed Item

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