Switch to: References

Add citations

You must login to add citations.
  1. A New Model Construction by Making a Detour Via Intuitionistic Theories II: Interpretability Lower Bound of Feferman's Explicit Mathematics T 0.Kentaro Sato - 2015 - Annals of Pure and Applied Logic 166 (7-8):800-835.