scientific article
From MaRDI portal
Publication:3889051
zbMath0445.03041MaRDI QIDQ3889051
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Topoi (18B25) Extremally disconnected spaces, (F)-spaces, etc. (54G05)
Related Items
On the De Morgan's laws for modules, On the normal completion of a Boolean algebra, Well-ordering and choice in toposes, Topologies for intermediate logics, The Lee identities in topoi. I, Bi-Heyting algebras, toposes and modalities, Weak ideal topology in the topos of right acts over a monoid, Another condition equivalent to de morgan's law, Unnamed Item, The Gleason cover of a topos. I, On infinite variants of De Morgan law in locale theory, Local local reasoning: a BI-hyperdoctrine for full ground store, A globalization of the Hahn-Banach theorem, Unnamed Item, Scattered toposes, Unnamed Item, Strong De Morgan's law and the spectrum of a commutative ring, MTL-algebras arising from partially ordered groups, Reflexive intermediate propositional logics, Unnamed Item, Unnamed Item, Unnamed Item, On hereditary properties of extremally disconnected frames and normal frames, On natural number objects, finiteness and Kripke-Platek models in toposes, De Morgan's law and the theory of fields, Completion of Boolean algebras in MSet, Locales in functional analysis
