Heyting arithmetic

This page lists the items of the Wikipedia article Heyting arithmetic 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 1374906998, with the assessment Start/Mid.

Outcome	Items
deferred	7
attached	1

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

Item	Kind	Name	Outcome	Reason
subject	definition	Heyting arithmetic	deferred until 2027-05-01	node CK8ZQRN183 has the same name, and a person decides if they are one item
#33W4	statement	Classically independent propositions	deferred until 2027-05-01	the heading names a group of items
#4T7M	statement	Theorems	deferred until 2027-05-01	the cue heading names a section and not one item
#B17H	statement	Unprovable classical principles	deferred until 2027-05-01	the heading names a group of items
#C4O9	statement	Valid principles and rules	deferred until 2027-05-01	the heading names more than one item
#PXTW	statement	Extensions	deferred until 2027-05-01	the cue heading names a section and not one item
#UAGL	proof	Proofs of classically equivalent statements	attached
#VXX3	statement	Least number principle	deferred until 2027-05-01	the item has its own article, page 67390901

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