Image: Rieger-Nishimura
Size of this PNG preview of this SVG file: 560 × 480 pixels. Other resolution: 280 × 240 pixels.
Original image (SVG file, nominally 560 × 480 pixels, file size: 6 KB)
Description: Hasse diagram of the Rieger–Nishimura lattice: the free Heyting algebra over one generator, or intuitionistic propositional formulas in one variable. It is the dual of the Rieger–Nishimura ladder.
Title: Rieger-Nishimura
Credit: Own work
Author: EmilJ
Usage Terms: Creative Commons Attribution-Share Alike 4.0
License: CC BY-SA 4.0
License Link: https://creativecommons.org/licenses/by-sa/4.0
Attribution Required?: Yes
Image usage
The following page links to this image:
All content from Kiddle encyclopedia articles (including the article images and facts) can be freely used under Attribution-ShareAlike license, unless stated otherwise.
