- in: Blumensath A.
"Simple Monadic Theories" (2008)
- in: Otto M.
"Generalized quantifiers for simple properties" (1994)
- in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories, toposes and categories of classes." (2014) - in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories and elementary toposes" (2007)
"Higher order reverse mathematics" (2005)
"Constructive toposes with countable sums as models of constructive set theory." (2012)
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
"How strong are single fixed points of normal functions?" (2020)
"Order environments of topological spaces" (2004)
- in: Kohlenbach U. and Sipoş A.
"The finitary content of sunny nonexpansive retractions" (2021) - in: Leuştean L., Nicolae A. and Sipoş A.
"An abstract proximal point algorithm" (2018) - in: Leuştean L. and Sipoş A.
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018) - in: Leuştean L. and Sipoş A.
"Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018) - in: Pinto P. and Sipoş A.
"Product of hyperbolic spaces" (2024) - in: Sipoş A.
"Codensity and Stone spaces" (2018)
"Elimination of Skolem functions for monotone formulas in analysis" (1998)
"Codensity and Stone spaces" (2018)
"Short Proofs for Slow Consistency" (2020)
- in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012) - in: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005)
"The freedoms of (guarded) bisimulation" (2014)
"Herbrand's theorem and extractive proof theory" (2008)
- in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2014) - in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2012) - in: Pinto P.
"Nonexpansive maps in nonlinear smooth hyperbolic spaces" (2024)
"Quasicontinuous domains and the Smyth powerdomain" (2013)
"Quotients of countably based spaces are not closed under sobrification." (2006)
- in: Altenkirch T., Hofmann M. and Streicher T.
"Reduction-free normalisation for a polymorphic system" (1996) - in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
"Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013) - in: Gerhardy P. and Kohlenbach U.
"General logical metatheorems for functional analysis" (2008) - in: Gregoriades V.
"Choice free Fixed Point Property in separable Banach spaces" (2014) - in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014) - in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005) - in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999)
- in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
"Boundedness theorems for flowers and sharps" (2022) - in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) - in: Freund A.
"Set-theoretic reflection is equivalent to induction over well-founded classes" (2020) - in: Freund A.
"A Categorical Construction of Bachmann-Howard Fixed Points" (2019) - in: Georgescu G. and Leuştean L.
"Some classes of pseudo-BL algebras" (2002) - in: Kohlenbach U. and Pischke N.
"Proof theory and nonsmooth analysis" (2023) - in: Kohlenbach U. and Leuştean L.
"On the computational content of convergence proofs via Banach limitd." (2012) - in: Kohlenbach U. and Leuştean L.
" Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010) - in: Kohlenbach U.
"Applied foundations: proof mining in analysis" (2002) - in: Pinto P.
"Nonexpansive maps in nonlinear smooth hyperbolic spaces" (2024) - in: Pischke N.
"Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)
- in: Georgescu G., Leuştean L. and Preoteasa V.
"Pseudo-hoops" (2005) - in: Leuştean L.
"Baer extensions of BL-algebras" (2006) - in: Leuştean L.
"Sheaf representations of BL-algebras" (2005)
"From Calculus to Algorithms without Errors" (2014)
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013)
- in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) - in: Leuştean L. and Sipoş A.
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018)
"Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020)
- in: Briseid E.M.
"Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions" (2007) - in: Briseid E.M.
"Some Results on Kirk's Asymptotic Contractions" (2007) - in: Georgescu G. and Leuştean L.
"Some classes of pseudo-BL algebras" (2002) - in: Keimel K.
"Bicontinuous domains and some old problems in domain theory" (2009) - in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) - in: Kohlenbach U.
"Some Logical Metatheorems with Applications in Functional Analysis" (2005) - in: Kohlenbach U.
"Some computational aspects of metric fixed point theory" (2005) - in: Kohlenbach U.
"Pointwise hereditary majorization and some applications" (1992) - in: Leuştean L.
"Some algebraic properties of non-commutative fuzzy structures" (2000)
"Certifying optimality of state estimation programs" (2003)
"Foundational and mathematical uses of higher types" (2002)
"Effective bounds from proofs in abstract functional analysis" (2008)
- in: Körnlein D. and Kohlenbach U.
"Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014) - in: Keimel K.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004) - in: Kohlenbach U.
"On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022) - in: Kohlenbach U.
"A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space" (2019) - in: Kohlenbach U. and Leuştean L.
"Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014) - in: Kohlenbach U. and Leuştean L.
"Effective metastability for Halpern iterates in CAT(0) space." (2012) - in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) - in: Pischke N.
"Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024) - in: Pischke N.
"Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023)
- in: Alvarez Manilla M., Jung A. and Keimel K.
"Valuations and measures on stably compact spaces" (2004) - in: Bacak M. and Kohlenbach U.
"On proximal mappings with Young functions in uniformly convex Banach spaces" (2018) - in: Briseid E.M.
"Logical Aspects of Rates of Convergence in Metric Spaces" (2009) - in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) - in: Dinis B. and Pinto P.
"Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces" (2023) - in: Erker T., Escardó M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998) - in: Findling R. and Kohlenbach U.
"Rates of convergence and metastability for Chidume's algorithm for the approximation of zeros of accretive operators in Banach spaces" (2024) - in: Freund A. and Kohlenbach U.
"Bounds for a nonlinear ergodic theorem for Banach spaces" (2023) - in: Freund A. and Kohlenbach U.
"R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces" (2022) - in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016) - in: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011) - in: Gregoriades V.
"Choice free Fixed Point Property in separable Banach spaces" (2014) - 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) - in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009) - in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009) - in: Keimel K.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008) - in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004) - in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) - in: Kohlenbach U. and Pinto P.
"Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022) - 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.
"Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces" (2021) - in: Kohlenbach U.
"Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020) - in: Kohlenbach U.
"On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016) - 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: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2007) - in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) - in: Kohlenbach U. and Leuştean L.
"Approximate fixed point property in product spaces (abstract)" (2005) - in: Kohlenbach U. and Leuştean L.
"Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003) - in: Leuştean L. and Sipoş A.
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018) - in: Leuştean L. and Sipoş A.
"Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018) - in: Leuştean L.
"Proof mining in -trees and hyperbolic spaces " (2006) - in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987) - in: Pinto P.
"Nonexpansive maps in nonlinear smooth hyperbolic spaces" (2024) - in: Pinto P. and Sipoş A.
"Product of hyperbolic spaces" (2024) - in: Pischke N.
"Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces" (2025) - in: Safarik P.
"A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012) - in: Schade K. and Kohlenbach U.
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012) - in: Sipoş A.
"Codensity and Stone spaces" (2018)
