Nuprl Definition : base def
Base == PRIMITIVE
Rules referencing :
imageEquality,
imageMemberEquality,
imageEqInduction,
equalityEqualityBase,
baseEquality,
baseInt,
baseAtom,
pointwiseFunctionalityForEquality,
pointwiseFunctionality,
pointwiseFunctionality wrename,
sqequalBase,
sqequalIntensionalEquality,
sqlenIntensionalEquality,
sqequalnIntensionalEquality,
baseAtomn,
callbyvalueAdd,
callbyvalueMultiply,
callbyvalueDivide,
callbyvalueRemainder,
callbyvalueMinus,
callbyvalueLess,
callbyvalueIntEq,
callbyvalueAtomEq,
callbyvalueAtomnEq,
exceptionSqequal,
ispairExceptionCases,
isintExceptionCases,
isaxiomExceptionCases,
isatomExceptionCases,
isinlExceptionCases,
isinrExceptionCases,
islambdaExceptionCases,
isatom1ExceptionCases,
isatom2ExceptionCases,
decideExceptionCases,
spreadExceptionCases,
minusExceptionCases,
applyExceptionCases,
int_eqExceptionCases,
lessExceptionCases,
atom_eqExceptionCases,
atom1_eqExceptionCases,
atom2_eqExceptionCases,
addExceptionCases,
divideExceptionCases,
remainderExceptionCases,
multiplyExceptionCases,
callbyvalueExceptionCases,
ispairCases,
isintCases,
isatomCases,
isaxiomCases,
islambdaCases,
isinlCases,
isinrCases,
isatom1Cases,
isatom2Cases,
lessCases,
pertypeEquality,
pertypeMemberEquality
FDL editor aliases :
Base
Latex:
Base == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_39
Last ObjectModification:
2010_05_12-PM-07_48_41
Theory : core_1
Home
Index