Löwe, B., Peckhaus, V., Räsch, T. (2006) Foundations of the Formal Sciences IV, The History of the Concept of the Formal Sciences.

Studies in Logic. College Publications.

Book (Editorship) | UvA-DARE

Löwe, B., Piwinger, B., Räsch, T. (2004) Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III" held in Vienna, September 21-24, 2001.

Trends in Logic. Kluwer Academic Publishers.

Book (Editorship) | http://www.springeronline.com/sgw/cda/frontpage/0,11855,1-40109-22-35321064-0,00.html | UvA-DARE

Löwe, B., Rohde, P. (2002) Games of length omega times two.

Proceedings of the American Mathematical Society, Vol. 130 (pp 1247-1248)

Article | https://doi.org/10.1090/S0002-9939-01-06407-3 | UvA-DARE

Löwe, B., Rudolph, F. (2002) Foundations of the formal sciences I: Humboldt Universität zu Berlin, May 7-9, 1999.

Synthese: special issue. Unknown Publisher.

Book (Editorship) | UvA-DARE

Löwe, B., Sarenac, D. (2004) Cardinal spaces and topological representations of bimodal logics.

ILLC Publications. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Löwe, B., Sarenac, D. (2005) Cardinal spaces and topological representations of bimodal logics.

Logic Journal of the IGPL, Vol. 13 (pp 301-306)

Article | https://doi.org/10.1093/jigpal/jzi025 | UvA-DARE

Löwe, B., Semmes, B. (2007) The extent of constructive game labellings.

Journal of Logic and Computation, Vol. 17 (pp 285-298)

Article | https://doi.org/10.1093/logcom/exl039 | UvA-DARE

Löwe, B., Semmes, B.T. (2005) The extent of constructive game labellings.

ILLC Publications. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Löwe, B., Semmes, B.T. (2005) The extent of constructive labellings.

In Dimitracopoulos, C. (Eds.), Proceedings of the 5th Panhellenic Logic Symposium, July 25-28, 2005, Athens, Greece, Dedicated to Yiannis N. Moschovakis upon his retirement from the University of Athens (pp 93-98)

Löwe, B., Steel, J.R. (1999) An introduction to core model theory.

London Mathematical Society lecture note series (pp 103-157)

Article | UvA-DARE

Löwe, B., Tarafder, S. (2015) Generalized algebra-valued models of set theory.

Review of Symbolic Logic, Vol. 8 (pp 192-205)

Article | https://doi.org/10.1017/S175502031400046X | UvA-DARE

Löwe, B., van Kerkhove, B. (2019) Methodological triangulation in empirical philosophy (of mathematics).

In Aberdein, A. Inglis, M. (Eds.), Advances in Experimental Philosophy of Logic and Mathematics (pp 15-38) (Advances in Experimental Philosophy). Bloomsbury Academic.

Löwe, B., van Rooij, R., Zeevat, H., Schröder, B. (2004) ILLC-Day 2 in Bonn "Language".

ILLC Publications. Institute for Logic, Language and Computation.

Report | UvA-DARE

Löwe, B., Welch, P.D. (2001) Set-theoretic absoluteness and the revision theory of truth.

Studia Logica, Vol. 68 (pp 21-41)

Article | UvA-DARE

Löwe, B. (1997) J.R.R. Tolkiens Túrin Turambar und die Outlaws der mittelalterlichen Volksdichtung: ein literarischer Vergleich.

Inklings, Vol. 15 (pp 37-47)

Article | UvA-DARE

Löwe, B. (1998) Uniform unfolding and analytic measurability.

Archive for Mathematical Logic, Vol. 37 (pp 505-520)

Article | https://doi.org/10.1007/s001530050111 | UvA-DARE

Löwe, B. (1998) Parsimonia Ontologiae und die generalisierende Tendenz der Mathematik.

Ethik und Sozialwissenschaften, Vol. 9 (pp 462-464)

Article | UvA-DARE

Löwe, B. (1999) Dualizing the Stone-Cech compactification.

In Kolaitis, Ph. Koletsos, G. (Eds.), 2nd Panhellenic Logic Symposium, Proceedings, Delphi, 13-17 July, 1999 (pp 150-154)

Löwe, B. (2001) Revision sequences and computers with an infinite amount of time.

In Wansing, W. (Eds.), Essays on non-classical logic (pp 37-59) (Advances in logic). World Scientific.

Löwe, B. (2001) Turing cones and set theory of the reals.

Archive for Mathematical Logic, Vol. 40 (pp 651-664)

Article | https://doi.org/10.1007/s001530100092 | UvA-DARE