Nuprl Definition : p-units
p-units(p) ==  {a:p-adics(p)| ¬((a 1) = 0 ∈ ℤ)} 
Definitions occuring in Statement : 
p-adics: p-adics(p)
, 
not: ¬A
, 
set: {x:A| B[x]} 
, 
apply: f a
, 
natural_number: $n
, 
int: ℤ
, 
equal: s = t ∈ T
Definitions occuring in definition : 
set: {x:A| B[x]} 
, 
p-adics: p-adics(p)
, 
not: ¬A
, 
equal: s = t ∈ T
, 
int: ℤ
, 
apply: f a
, 
natural_number: $n
FDL editor aliases : 
p-units
Latex:
p-units(p)  ==    \{a:p-adics(p)|  \mneg{}((a  1)  =  0)\} 
Date html generated:
2018_05_21-PM-03_20_15
Last ObjectModification:
2018_02_01-AM-09_54_24
Theory : rings_1
Home
Index