File:Rieger-Nishimura.svg

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Rieger-Nishimura.svg‎ (SVG file, nominally 560 × 480 pixels, file size: 6 KB)

[edit] Summary

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.
Date 6 April 2008(2008-04-06)
Source Own work
Author EmilJ

[edit] Licensing

I, the copyright holder of this work, hereby publish it under the following licenses:
GNU head Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.

w:en:Creative Commons
attribution share alike		 This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported, 2.5 Generic, 2.0 Generic and 1.0 Generic license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work).
  • share alike – If you alter, transform, or build upon this work, you may distribute the resulting work only under the same or similar license to this one.
You may select the license of your choice.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current14:08, 7 April 2008Thumbnail for version as of 14:08, 7 April 2008560 × 480 (6 KB)EmilJ{{Information |Description=Hasse diagram of the Rieger-Nishimura lattice: the free Heyting algebra over one generator, or intuitionistic propositional formulas in one variable |Source=self-made |Date=2008-04-06 |Author= EmilJ |Permission= |
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):

Global file usage

The following other wikis use this file:

Metadata

This file contains additional information, probably added from the digital camera or scanner used to create or digitize it. If the file has been modified from its original state, some details may not fully reflect the modified file.
Width 560
Height 480
Short title Rieger-Nishimura lattice
Image title Hasse diagram of the Rieger-Nishimura lattice: the free Heyting algebra over one generator, or intuitionistic propositional formulas in one variable
Retrieved from "http://en.wikipedia.org/wiki/File:Rieger-Nishimura.svg"
Personal tools
Namespaces

Variants
Views
Actions
Navigation
Interaction
Toolbox