We’d need to have ϵ for the fixed point ϕδ:⇔P(ϕδ)<δ be less than δ. Maybe this will work, but I don’t really see a good rule for determining ϵ that would lead to this.
We’d need to have ϵ for the fixed point ϕδ:⇔P(ϕδ)<δ be less than δ. Maybe this will work, but I don’t really see a good rule for determining ϵ that would lead to this.