Publications
Export 6 results:
Filters: First Letter Of Title is W [Clear All Filters]
, “Weak theories of truth and explicit mathematics”, in Logic, Construction, Computation, 2012, pp. 157–184.
, “Weak theories of operations and types”, in Ways of {P}roof {T}heory, 2010, pp. 441–468.
, “Weak Systems of Explicit Mathematics”. Universität Bern, 2009.
, “Wellordering Two Sorts: A Slow-Growing Proof Theory for Variable Separation”. Universität Bern, 2005.
, “Weak König's Lemma and Extensional Equality”. Universität Bern, 2004.
, “Wellordering proofs for metapredicative Mahlo”, The Journal of Symbolic Logic, vol. 67, p. 260{–}278, 2002.