Nuprl Definition : FO-uniform-evidence
FO-uniform-evidence(vs;fmla) == ⋂Dom:Type. ⋂S:FOStruct+{i:l}(Dom). ∀a:FOAssignment(vs,Dom). Dom,S,a +|= fmla
Definitions occuring in Statement :
FOSatWith+: Dom,S,a +|= fmla,
FOStruct+: FOStruct+{i:l}(Dom),
FOAssignment: FOAssignment(vs,Dom),
all: ∀x:A. B[x],
isect: ⋂x:A. B[x],
universe: Type
Definitions occuring in definition :
universe: Type,
isect: ⋂x:A. B[x],
FOStruct+: FOStruct+{i:l}(Dom),
all: ∀x:A. B[x],
FOAssignment: FOAssignment(vs,Dom),
FOSatWith+: Dom,S,a +|= fmla
FDL editor aliases :
FO-uniform-evidence
Latex:
FO-uniform-evidence(vs;fmla) ==
\mcap{}Dom:Type. \mcap{}S:FOStruct+\{i:l\}(Dom). \mforall{}a:FOAssignment(vs,Dom). Dom,S,a +|= fmla
Date html generated:
2016_05_15-PM-10_12_21
Last ObjectModification:
2015_09_23-AM-08_22_44
Theory : minimal-first-order-logic
Home
Index