Referenced by:

• 35314159191589570696r
• 42614730368431224758r
• ac0
• automorphism-group
• busy-beaver
• cats-slice-category
• com-computable
• cycle-decomposition
• elementary-equivalent
• gcd-smallest-linear-combination
• gcd
• group-stabilizer
• groups-alternating-group
• groups-group
• lang
• logic-compactness
• logic-downwards-lowenheim-skolem-thm
• logic-types
• logic-ultraproduct
• logic-universal-axiomatization
• logic-universal-formula
• modular-arithmetic
• multiplicative-groups-of-integers
• permutation-parity
• quantifier-elimination
• substructure
• tarski-vaught-test
• ucb-metamathematics-b-02
• uniformity
• union-of-model-chain
• upward-lowenheim-skolem-thm