Kühnberger, Kai-Uwe; Löwe, Benedikt; Möllerfeld, Michael; Welch, Philip Comparing inductive and circular definitions: Parameters, complexity and games. (English) Zbl 1098.03041 Stud. Log. 81, No. 1, 79-98 (2005). Reviewer: Albert A. Mullin (Madison) MSC: 03B99 03D70 91A80 03A05 03C13 03E60 PDFBibTeX XMLCite \textit{K.-U. Kühnberger} et al., Stud. Log. 81, No. 1, 79--98 (2005; Zbl 1098.03041) Full Text: DOI
Löwe, Benedikt Revision sequences and computers with an infinite amount of time. (English) Zbl 0997.03502 Wansing, Heinrich (ed.), Essays on non-classical logic. Including papers from the workshop, Konstanz, Germany, October 5-6, 1999. Singapore: World Scientific Publishing. Adv. Log. 1, 37-59 (2001). MSC: 03D10 03A05 PDFBibTeX XMLCite \textit{B. Löwe}, Adv. Log. 1, 37--59 (2001; Zbl 0997.03502)
Löwe, Benedikt; Welch, Philip D. Set-theoretic absoluteness and the revision theory of truth. (English) Zbl 1029.03003 Stud. Log. 68, No. 1, 21-41 (2001). Reviewer: Stewart Shapiro (MR 2003j:03010) MSC: 03A05 03D10 03D60 03E99 PDFBibTeX XMLCite \textit{B. Löwe} and \textit{P. D. Welch}, Stud. Log. 68, No. 1, 21--41 (2001; Zbl 1029.03003) Full Text: DOI
Löwe, Benedikt Revision sequences and computers with an infinite amount of time. (English) Zbl 0989.03037 J. Log. Comput. 11, No. 1, 25-40 (2001). Reviewer: Albert A.Mullin (Madison) MSC: 03D10 03A05 PDFBibTeX XMLCite \textit{B. Löwe}, J. Log. Comput. 11, No. 1, 25--40 (2001; Zbl 0989.03037) Full Text: DOI Link