Constructive set theory

This page lists the items of the Wikipedia article Constructive set theory 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 1365499298, with the assessment Start/Low.

Outcome	Items
deferred	7
node	1

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

Item	Kind	Name	Outcome	Nodes	Reason
subject	definition	Constructive set theory	node (adopted)	Constructive set theory
#BC8F	statement	Anti-classical principles	deferred until 2027-05-01		the heading names a group of items
#BNTO	statement	Non-constructive principles	deferred until 2027-05-01		the heading names a group of items
#E8DT	statement	Recursion from set theory axioms	deferred until 2027-05-01		the heading names a group of items
#H7O4	unknown	Myhill's constructive set theory	deferred until 2027-05-01		the kind of the item is unknown
#JLCK	unknown	CZF	deferred until 2027-05-01		the kind of the item is unknown
#P9PQ	definition	Notation	deferred until 2027-05-01		the cue heading names a section and not one item
#PTY2	unknown	IZF	deferred until 2027-05-01		the kind of the item is unknown

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