Sauras-Altuzarra, Lorenzo Lorenzo Sauras-AltuzarraTU Wien Advisor:Matthias BaazResearch Topic:Applications of extractive proof theory to number theory