Yes, of course; the greatest lower bound is the infimum, or meet (where none of this constructive stuff is yet).
]]>Todd - you only changed a few of them. I changed the rest
]]>Dmitri’s obviously right – I changed it.
]]>Isn’t the join (supremum) the least upper bound? The article currently states that it is the greatest lower bound, which does not make sense to me.
]]>Suprema in constructive analysis and their relationship to the antithesis interpretation.
]]>