An innocent theorem of Banaschewski, applied to an unsuspecting theorem of De Marco, and the aftermath thereof (Q2836446)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An innocent theorem of Banaschewski, applied to an unsuspecting theorem of De Marco, and the aftermath thereof |
scientific article |
Statements
An innocent theorem of Banaschewski, applied to an unsuspecting theorem of De Marco, and the aftermath thereof (English)
0 references
3 July 2013
0 references
frames
0 references
frame homomorphisms
0 references
natural isomorphisms
0 references
\(s\)-maps
0 references
weakly closed maps
0 references
radical ideals
0 references
going-up property
0 references
