Treffer: Gödel functional interpretation and weak compactness
Title:
Gödel functional interpretation and weak compactness
Authors:
Source:
In Annals of Pure and Applied Logic November 2012 163(11):1560-1579
Database:
ScienceDirect