Link to current text
MATH.18:12 - Relations
- MATH.5 constructs the interpretation of generated objects from its values on generators.
- MATH.7 transports mathematical structure through a supplied bijection.
- MATH.2 establishes when an interpretation and its operations descend through identification.
- MATH.16 constructs objects and comparison maps from required uses.
- MATH.17 constructs operation collections and higher-order transformations, including composition-preserving assignments.
- MATH.6 constructs a countermodel when an asserted transfer or equivalence fails.
- B.5.RA and B.5.TU recover an unfamiliar argument and carry a theoretical consequence into its intended case.
- C.29 and C.29.2 supply subject correspondence and computational formulation for applications of the mathematical comparison.