Math 2.0

Complete Heyting algebra

This page lists the items of the Wikipedia article Complete 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 1344945412, with the assessment Start/Low.

OutcomeItems
deferred4

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

ItemKindNameOutcomeNodesReason
subjectdefinitionComplete Heyting algebradeferred until 2027-05-01the item has the flag informal (WP9.2)
#7D5TexampleExamplesdeferred until 2027-05-01the cue heading names a section and not one item
#A6B1unknownFrames and localesdeferred until 2027-05-01the kind of the item is unknown
#M45MdefinitionDefinitiondeferred until 2027-05-01the cue heading names a section and not one item

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