Heyting algebra

This page lists the items of the Wikipedia article Heyting algebra in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1371256451, with the assessment B/Mid.

Outcome	Items
deferred	11
node	2

The gap signals of the article are S1,S4,S5,S6,S8,S9.

Item	Kind	Name	Outcome	Nodes	Reason
subject	definition	Heyting algebra	deferred until 2027-05-01		the item has the flag informal (WP9.2)
#0PFN	definition	Definition	deferred until 2027-05-01		the cue heading names a section and not one item
#4PQE	example	Examples	deferred until 2027-05-01		the cue heading names a section and not one item
#5VAV	statement	Heyting algebra of formulas equivalent with respect to a theory T	deferred until 2027-05-01		the heading names a step or a part of the text and not one item
#G1VR	statement	Heyting algebra of propositional formulas in n variables up to intuitionist equivalence	deferred until 2027-05-01		the heading names a step or a part of the text and not one item
#J0FE	statement	The De Morgan laws in a Heyting algebra	node (adopted)	The De Morgan laws in a Heyting algebra
#OT57	statement	Characterization using the axioms of intuitionistic logic	node (adopted)	Characterization using the axioms of intuitionistic logic
#PVDS	unknown	Heyting implication	deferred until 2027-05-01		the kind of the item is unknown
#R7V5	definition	Formal definition	deferred until 2027-05-01		the cue heading names a section and not one item
#RS7L	example	Examples	deferred until 2027-05-01		the cue heading names a section and not one item
#WJJX	definition	Alternative definitions	deferred until 2027-05-01		the cue heading names a section and not one item
#WNS8	statement	Properties	deferred until 2027-05-01		the cue heading names a section and not one item
#Y5SG	statement	Properties	deferred until 2027-05-01		the cue heading names a section and not one item

Refer to Wikipedia articles and their nodes for the other articles.