Hypergendered Logic Source

Hypergendered Logic — Page 187

HGL Source Framework · Page 187 of 293 · Source: Hypergendered Logic

Γ𝑛
𝐹,  □𝑛
𝐹,  ◇𝑛
𝐹
should be read, in its legacy context, as shorthand for 
 
Γ1,1,𝑛
𝐹
,  □1,1,𝑛
𝐹
,  ◇1,1,𝑛
𝐹
.
The male mirror is identical. 
182. The first four named minor hypercategories 
Within Major Stage 1 of Archwomanhood, the first four named female minor hypercategories are: 
Minor category 1: Suprafemale, symbol SF. 
Minor category 2: Hyperfemale, symbol HF. 
Minor category 3: Ultrafemale, symbol UF. 
Minor category 4: Apexfemale, symbol AF. 
The male mirrors are: 
Minor category 1: Supramale, symbol SM. 
Minor category 2: Hypermale, symbol HM. 
Minor category 3: Ultramale, symbol UM. 
Minor category 4: Apexmale, symbol AM. 
The letters have the intended meanings 
 
𝑆= 𝑆𝑢𝑝𝑟𝑎,   𝐻= 𝐻𝑦𝑝𝑒𝑟,   𝐴= 𝐴𝑝𝑒𝑥,   𝑈= 𝑈𝑙𝑡𝑟𝑎.
Apex is not declared to be the final minor hypercategory. It is only the fourth currently named minor category 
under the SIH revision. The first major stage can contain an aleph-null-sized sequence of minor 
hypercategories, so there are indefinitely many later finite-indexed minor categories after Apex before the 
minor-category limit is reached. 
For compact formal work, let 
 
𝐶𝑀,µ
𝐹
denote the female minor hypercategory at major stage 
 and minor-category index , and let 
𝑀
µ
 
𝐶𝑀,µ
𝑀
denote the male mirror. Then in Major Stage 1, 
 
𝐶1,1
𝐹= 𝑆𝐹,  𝐶1,2
𝐹= 𝐻𝐹,  𝐶1,3
𝐹= 𝐴𝐹,  𝐶1,4
𝐹= 𝑈𝐹,
and 
 
𝐶1,1
𝑀= 𝑆𝑀,  𝐶1,2
𝑀= 𝐻𝑀,  𝐶1,3
𝑀= 𝐴𝑀,  𝐶1,4
𝑀= 𝑈𝑀.
183. Hyperomega is an HGL boundary, not the ordinary ordinal omega 
The term Hyperomega is now assigned the symbol 
 
Ω𝐻.

Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:187.