A Proof-Theoretic Bound Extraction Theorem for CAT $$(\kappa )$$ ( κ ) -Spaces

Ulrich Kohlenbach, Adrian Nicolae

Type: Article

Publication Date: 2017-01-06

Citations: 4

DOI: https://doi.org/10.1007/s11225-016-9702-z

Similar Works

Action	Title	Year	Authors
+	An abstract setting for Henkin proofs	1984	Robert Goldblatt
+	Ideas and Results in Proof Theory	1971	Dag Prawitz
+	Hilbert-style Proofs	1993	David Gries Fred B. Schneider
+	決定木複雑性における複数アドバーサリーの方法 : 有向アサイクリックグラフの場合 (Proof Theory, Computation Theory and Related Topics)	2015	寛奈金山
+	Hilbert’s Proof Theory	2009	Wilfried Sieg
+	Proofs of Space with Maximal Hardness	2024	Leonid Reyzin
+	Proof theory and the accuracy of computations	1970	Erwin Engeler
+	Selected Papers in Proof Theory	1992	G. Mints
+	Countable tightness and the Grothendieck property in C-theory	2022	Franklin D. Tall
+	Lattice Theory: The Jauch and Piron Proof	1974	Jeffrey Bub
+	Chapter 6: An inductive definition of $K$	1996	John R. Steel
+	Theory and Proof [Memoirs]	2013	Tomy Sebastian
+	A SURVEY ON $K$-FREENESS	2005	Francesco Pappalardi
+	Computable versions of the uniform boundedness theorem	2017	Vasco Brattka
+	Relations Between Diagonalization, Proof Systems, and Complexity Gaps (Preliminary Version)	1977	Juris Hartmanis
+	Proof Complexity and Feasible Arithmetics	1997	Paul Beame Samuel R. Buss
+	A new version of $$-tight closure	2007	Adela Vraciu
+	A SURVEY OF k!-SPACES	1977	Stanley P. Franklin Barbara V. Smith Thomas
+	$\Cal W$-completeness and fixpoint properties	1988	Marcel Erné
+	Completeness and fixed-points	1975	P. V. Subrahmanyam

Action	Title	Year	Authors
+	Nonexpansive maps in nonlinear smooth spaces	2024	Pedro Pinto
+ PDF Chat	Logical metatheorems for accretive and (generalized) monotone set-valued operators	2023	Nicholas Pischke
+ PDF Chat	A proof‐theoretic metatheorem for tracial von Neumann algebras	2023	Liviu Păunescu Andrei Sipoş

Action	Title	Year	Authors
+ PDF Chat	Some logical metatheorems with applications in functional analysis	2004	Ulrich Kohlenbach
+	General logical metatheorems for functional analysis	2007	Philipp Gerhardy Ulrich Kohlenbach
+	Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation	1993	Ulrich Kohlenbach
+	<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="normal">CAT</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>k</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math>-spaces, weak convergence and fixed points	2008	Rafa Espínola Aurora Fernández-León
+	Metric Spaces of Non-Positive Curvature	1999	Martin R. Bridson André Haefliger
+	Halpern iteration in CAT(κ) spaces	2011	Bożena Piątek
+	Logical metatheorems for abstract spaces axiomatized in positive bounded logic	2015	Daniel Günzel Ulrich Kohlenbach
+	A $K$-quadrilateral cosine characterization of Aleksandrov spaces of curvature bounded above	2015	Ina Berg Igor Nikolaev
+	Chebyshev sets in geodesic spaces	2016	David Ariza‐Ruiz Aurora Fernández-León Genaro López-Acedo Adriana Nicolae
+	On the quantitative asymptotic behavior of strongly nonexpansive mappings in banach and geodesic spaces	2016	Ulrich Kohlenbach