Väänänen, Jouko; Hodges, Wilfrid Dependence of variables construed as an atomic formula. (English) Zbl 1225.03026 Ann. Pure Appl. Logic 161, No. 6, 817-828 (2010). MSC: 03B60 03B15 03C80 03C85 PDFBibTeX XMLCite \textit{J. Väänänen} and \textit{W. Hodges}, Ann. Pure Appl. Logic 161, No. 6, 817--828 (2010; Zbl 1225.03026) Full Text: DOI
Väänänen, Jouko Second-order logic and foundations of mathematics. (English) Zbl 1002.03013 Bull. Symb. Log. 7, No. 4, 504-520 (2001). MSC: 03B30 03B15 03E99 03A05 PDFBibTeX XMLCite \textit{J. Väänänen}, Bull. Symb. Log. 7, No. 4, 504--520 (2001; Zbl 1002.03013) Full Text: DOI Link Link