Biannual Report - Fachbereich Mathematik - Technische Universität ...

[134] K. H. Hofmann and S. A. Morris. Compact homeomorphism groups are profinite.
Topology and its Applications, 9:2453–2462, 2012.
[135] K. H. Hofmann and F. G. Russo. Near abelian profinite groups. Forum Mathematicum.
To appear.
[136] K. H. Hofmann and F. G. Russo. The probbility that x m and y n commute in a
compact group. Bulletin of the Australian Mathematical Society. To appear.
[137] K. H. Hofmann and F. G. Russo. The probability that x and y commute in a compact
group. Mathematical Proceedings of the Cambridge Philosophical Society, 153:557–
571, 2012.
[138] P. Jahnke, T. Peternell, and I. Radloff. Threefolds with big and nef anticanonical
bundles II. Central European J. of Math., 9:449–488, 2011.
[139] P. Jahnke and I. Radloff. Semistability of restricted tangent bundles. Int. J. of Math.
To appear.
[140] P. Jahnke and I. Radloff. Splitting submanifolds of fake elliptic curves. Sci. China
Math., 54:949–958, 2011.
[141] P. Jahnke and I. Radloff. Terminal fano threefolds and their smoothings. Math. Z.,
269:1129–1136, 2012.
[142] M. Joswig and T. Rörig. Polytope mit vielen Splits und ihre Sekundärfächer. Math.
Semesterber., 59(2):145–152, 2012.
[143] M. Kaip and J. Saal. The permanence of -boundedness under interpolation an
applications to parabolic systems. J. Math. Sci. Univ. Tokyo, 19:1–49, 2012.
[144] K. Keimel. Locally convex cones and the Schröder–Simpson theorem. Quaestiones
Mathematicae, 35:353–390, 2012.
[145] K. Keimel and J. D. Lawson. Extending algebraic operations to d-completions. Theoretical
Computer Science, 430:73–87, 2012.
[146] K. Keimel, A. P. Rosenbusch, and T. Streicher. Relating direct and predicate transformer
partial correctness semantics for a probabilistic-nondeterministic language.
Theoretical Computer Science, 412:2701–2713, 2011.
[147] M. A. A. Khan and U. Kohlenbach. Bounds on Kuhfittig’s iteration schema in uniformly
convex hyperbolic spaces. Journal of Mathematical Analysis and Applications.
To appear.
[148] E. Kieronski and M. Otto. Small substructures and decidability issues for first-order
logic with two variables. Journal of Symbolic Logic, 77:729–765, 2012.
[149] U. Kohlenbach. A note on the monotone functional interpretation. Mathematical
Logic Quarterly, 57:611–614, 2011.
[150] U. Kohlenbach. On quantitative versions of theorems due to F.E. Browder and R.
Wittmann. Advances in Mathematics, 226:2764–2795, 2011.
[151] U. Kohlenbach. On the asymptotic behavior of odd operators. Journal of Mathematical
Analysis and Applications, 382:615–620, 2011.
[152] U. Kohlenbach. Gödel functional interpretation and weak compactness. Annals of
Pure and Applied Logic, 163:1560–1579, 2012.
[153] U. Kohlenbach. A uniform quantitative form of sequential weak compactness and
Baillon’s nonlinear ergodic theorem. Communications in Contemporary Mathematics,
14, 2012.
116 3 Publications