Nuprl Definition : int-constraint-problem
IntConstraints == ⋃n:ℕ.({L:ℤ List| ||L|| = (n + 1) ∈ ℤ} List × ({L:ℤ List| ||L|| = (n + 1) ∈ ℤ} List))?
Definitions occuring in Statement :
length: ||as||,
list: T List,
nat: ℕ,
tunion: ⋃x:A.B[x],
unit: Unit,
set: {x:A| B[x]} ,
product: x:A × B[x],
union: left + right,
add: n + m,
natural_number: $n,
int: ℤ,
equal: s = t ∈ T
Definitions occuring in definition :
union: left + right,
tunion: ⋃x:A.B[x],
nat: ℕ,
product: x:A × B[x],
set: {x:A| B[x]} ,
list: T List,
equal: s = t ∈ T,
int: ℤ,
length: ||as||,
add: n + m,
natural_number: $n,
unit: Unit
FDL editor aliases :
int-constraint-problem
Latex:
IntConstraints == \mcup{}n:\mBbbN{}.(\{L:\mBbbZ{} List| ||L|| = (n + 1)\} List \mtimes{} (\{L:\mBbbZ{} List| ||L|| = (n + 1)\} List))?
Date html generated:
2016_05_14-AM-07_16_58
Last ObjectModification:
2015_09_22-PM-05_53_34
Theory : omega
Home
Index