Nuprl Definition : divisibility-lattice
divisibility-lattice() == mk-lattice(ℕ;λa,b. gcd(a;b);λa,b. lcm(a;b))
Definitions occuring in Statement :
mk-lattice: mk-lattice(T;m;j),
lcm: lcm(a;b),
gcd: gcd(a;b),
nat: ℕ,
lambda: λx.A[x]
Definitions occuring in definition :
mk-lattice: mk-lattice(T;m;j),
nat: ℕ,
gcd: gcd(a;b),
lambda: λx.A[x],
lcm: lcm(a;b)
FDL editor aliases :
divisibility-lattice
Latex:
divisibility-lattice() == mk-lattice(\mBbbN{};\mlambda{}a,b. gcd(a;b);\mlambda{}a,b. lcm(a;b))
Date html generated:
2020_05_20-AM-08_23_57
Last ObjectModification:
2015_10_06-PM-01_45_52
Theory : lattices
Home
Index