You have mentioned the weakened reflection principle as being the following: ∀φ∈L’. ∀a,b∈Q. a≤P(φ)≤b ⇒ P(a<P(‘φ’)<b)=1
This seems to be a typo, it should be ∀φ∈L’. ∀a,b∈Q. a<P(φ)<b ⇒ P(a<P(‘φ’)<b)=1
Right you are. Fixed, thanks.
You have mentioned the weakened reflection principle as being the following: ∀φ∈L’. ∀a,b∈Q. a≤P(φ)≤b ⇒ P(a<P(‘φ’)<b)=1
This seems to be a typo, it should be ∀φ∈L’. ∀a,b∈Q. a<P(φ)<b ⇒ P(a<P(‘φ’)<b)=1
Right you are. Fixed, thanks.