On partially conservative sentences and interpretability (1984)

by Per Lindström
Venue:Proc. Amer. Math. Soc