scientific article; zbMATH DE number 3805544
From MaRDI portal
Publication:4749837
zbMath0511.03028MaRDI QIDQ4749837
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebraaxiom of choicering theorysheaf representationselementary toposesHenkin's completeness theorem
Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items
What is the world of mathematics?, Sheaf representation of monoidal categories, Sheaf Representations and Duality in Logic
