Nuprl Definition : K-world
World ==  fst(fst(K))
Definitions occuring in Statement : 
pi1: fst(t)
Definitions occuring in definition : 
pi1: fst(t)
FDL editor aliases : 
K-world
Latex:
World  ==    fst(fst(K))
Date html generated:
2019_10_16-AM-11_43_59
Last ObjectModification:
2018_10_13-AM-11_52_27
Theory : minimal-first-order-logic
Home
Index