[FOM] Question about "fresh" variables/objects in logics
divip at aszt.inf.elte.hu
Fri Nov 25 10:31:13 EST 2005
Does anybody know of a formal description of the concept of "fresh"
variable/object in logic?
This concept is used in theoretical computer science quite often, but I
have never seen a formal description of it.
Informally it could be descibed as:
Let X be an infinite set.
x in X is fresh
x is an element of X
for all y in X defined elsewhere: x not equal y
The formal description of this concept would help me a lot. I am doing
research in functional programming and I could use it there.
More information about the FOM