"Non-principal ultrafilters, program extraction and higher order reverse mathematics." (2012)
- in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
- in: Pinto P.
"On the finitary content of Dykstra's cyclic projections algorithm" (2025) - in: Pischke N.
"On Korpelevich's Extragradient Algorithm" (2023)
"Undecidability results for two-variable logics" (1999)
- in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014) - in: Gruenhage G. and Streicher T.
"Quotients of countably based spaces are not closed under sobrification." (2006)
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)
- in: Freund A., Rathjen M. and Weiermann A.
"Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022) - in: Fujiwara M. and Kohlenbach U.
"Classical provability of uniform versions and intuitionistic provability" (2015) - in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006) - in: Kohlenbach U., López-Acedo G. and Nicolae A.
"A uniform betweenness property in metric spaces and its role in the quantitative analysis of the Lion-Man game" (2021) - in: Kohlenbach U.
"Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021) - in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012) - in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006) - in: Kohlenbach U.
"Uniform asymptotic regularity for Mann iterates" (2003) - in: Kohlenbach U.
"On uniform weak König's lemma" (2002) - in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) - in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998) - in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993) - in: Pauly A. and Ziegler M.
"Relative Computability and Uniform Continuity of Relations" (2013)
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010)
- in: Bacak M. and Kohlenbach U.
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018) - in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) - in: Kohlenbach U.
"Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces" (2021) - in: Kohlenbach U. and Leuştean L.
" Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010) - in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) - in: Pischke N.
"Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)
- in: Kohlenbach U.
"On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness" (2019) - in: Kohlenbach U.
"Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993) - in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)
- in: Leuştean L.
"Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings" (2007) - in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006)
"A Gentzen system for involutive residuated lattices" (2005)
- in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013) - in: Löw T. and Streicher T.
"Universality Results for Models in Locally Boolean Domains" (2006) - in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999) - in: Streicher T.
"A universality theorem for PCF with recursive types, parallel-or and . " (1994)
- in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016) - in: Streicher T.
"Universes in Toposes" (2005)
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
- in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009) - in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
- in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) - in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
"Continuous Lattices and Domains" (2003) - in: Hofmann K.H. and Keimel K.
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011) - in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998) - in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011) - in: Kohlenbach U.
"Goedel's functional interpretation and its use in current mathematics" (2008) - in: Kohlenbach U.
"Analysing proofs in analysis" (1996) - in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011) - in: Streicher T.
"Universes in Toposes" (2005)
"A classical realizability model arising from a stable model of untyped lambda calculus." (2017)
"Impredicativity entails untypedness" (2002)
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004)
"Certifying optimality of state estimation programs" (2003)
- in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011) - in: Kohlenbach U.
"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008) - in: Kohlenbach U.
"Goedel's functional interpretation and its use in current mathematics" (2008) - in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999)
"Foundational and mathematical uses of higher types" (2002)
"Negative translations not intuitionistically equivalent to the usual ones" (2013)
