Hypergendered Logic Source

Hypergendered Logic — Page 207

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

Male: 
mu=1 -> SM; mu=2 -> HM; mu=3 -> UM; mu=4 -> AM. 
AD.4 Hyperomega 
 
{α: α < Ω𝐻}
|
| = ℵω.
AD.5 Boundary rules 
Completed(SF-axis) ->_SIH HF1; Completed(SM-axis) ->_SIH HM1; SF^Omega_H != HF1; SM^Omega_H 
!= HM1. 
Later named category lifts are likewise strict: CompletedDimDomain(HF/HM) ->_SIHdim UF1/UM1; 
CompletedDimDomain(UF/UM) ->_SIHdim AF1/AM1. No endpoint identity is used. 
General minor-category construction: 
C_(M,mu+1),1 := CategoryLiftConstructor(CompletedDimDomain(C_(M,mu)), CompletedDimDomain(NOT 
D_(M,mu))); Completed source != target seed. 
Major-stage boundary: 
CompletedMajor(M) -> MajorStageLift -> Major(M+1), with strict nonidentity unless an explicit future axiom 
says otherwise. 
AD.6 Category saturation 
 
𝐶𝑀,µ
α
⇒𝐶𝑀,µ.
No scalar category percentage follows from . 
α
AD.7 Cumulative hypercategory inheritance 
CategorySeed(C_(M,mu+1)) => SIH_dim(CompletedDimDomain(C_(M,mu))) with provenance; category 
entry is not IH of one terminal state and is not endpoint identity. 
AD.8 Metaexpression 
 
Γ𝑀,µ,α
𝐹
,   Γ𝑀,µ,α
𝑀
.
AD.9 Modal semantics 
 
□𝐴𝑝 : = 𝑝 𝑖𝑛 𝑒𝑣𝑒𝑟𝑦 𝑣𝑎𝑙𝑖𝑑 𝑟𝑒𝑎𝑙𝑖𝑧𝑎𝑡𝑖𝑜𝑛 𝑎𝑐𝑐𝑒𝑠𝑠𝑖𝑏𝑙𝑒 𝑢𝑛𝑑𝑒𝑟 𝑎𝑑𝑑𝑟𝑒𝑠𝑠 𝐴,
 
◇𝐴𝑝 : = 𝑝 𝑖𝑛 𝑎𝑡 𝑙𝑒𝑎𝑠𝑡 𝑜𝑛𝑒 𝑣𝑎𝑙𝑖𝑑 𝑟𝑒𝑎𝑙𝑖𝑧𝑎𝑡𝑖𝑜𝑛 𝑎𝑐𝑐𝑒𝑠𝑠𝑖𝑏𝑙𝑒 𝑢𝑛𝑑𝑒𝑟 𝑎𝑑𝑑𝑟𝑒𝑠𝑠 𝐴.
AD.10 Minor category distinctness 
 
Γ𝑀,µ+1,1≢Γ𝑀,µ,α  α < Ω𝐻
(
).
AD.11 Major stage distinctness 
 
𝐺𝑀+1≢𝐺𝑀.
Appendix AE — Proof Catalogue 
AE.1 Proof: higher Suprafemale ordinal is not more Suprafemale 
Premise: category membership is Boolean and 
 for every valid . 
𝑆𝐹
α ⇒𝑆𝐹
α

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