Browsing by Author "Kohlenbach, Ulrich"

Now showing 1 - 7 of 7
  • Thumbnail Image
    Item
    A Quantitative Analysis of the “Lion-Man” Game
    (Oberwolfach : Mathematisches Forschungsinstitut Oberwolfach, 2019) Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana
    In this paper we analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuit-evasion game. More precisely, we focus on a discrete lion and man game with an ε-capture criterion. We prove that in uniformly convex bounded domains the lion always wins and, using ideas stemming from proof mining, we extract a uniform rate of convergence for the successive distances between the lion and the man. As a byproduct of our analysis, we study the relation among different convexity properties in the setting of geodesic spaces.
  • Thumbnail Image
    Item
    Mathematical Logic: Proof Theory, Constructive Mathematics
    (Zürich : EMS Publ. House, 2008) Kohlenbach, Ulrich; Schwichtenberg, Helmut
    [no abstract available]
  • Thumbnail Image
    Item
    Mathematical Logic: Proof Theory, Constructive Mathematics
    (Zürich : EMS Publ. House, 2011) Kohlenbach, Ulrich; Rathjen, Michael
    The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity.
  • Thumbnail Image
    Item
    Mathematical Logic: Proof Theory, Constructive Mathematics
    (Zürich : EMS Publ. House, 2017) Iemhoff, Rosalie; Kohlenbach, Ulrich; Rathjen, Michael
    The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects of computational complexity.
  • Thumbnail Image
    Item
    Mathematical Logic: Proof theory, Constructive Mathematics
    (Zürich : EMS Publ. House, 2014) Kohlenbach, Ulrich; Rathjen, Michael
    The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity
  • Thumbnail Image
    Item
    Mathematical Logic: Proof Theory, Constructive Mathematics
    (Oberwolfach : Mathematisches Forschungsinstitut Oberwolfach, 2023) Buss, Samuel R.; Iemhoff, Rosalie; Kohlenbach, Ulrich; Rathjen, Michael
    The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proof-theoretic research on the foundations of mathematics, on the extraction of explicit computational content from given proofs in core areas of ordinary mathematics using proof-theoretic methods as well as on topics in proof complexity. The workshop contributed to the following research strands: interactions between foundations and applications, proof mining, constructive and semi-constructive reasoning, proof theory and theoretical computer science, structural proof theory.
  • Thumbnail Image
    Item
    Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting)
    (Zürich : EMS Publ. House, 2020) Iemhoff, Rosalie; Kohlenbach, Ulrich; Rathjen, Michael
    The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proofs both as formal derivations in deductive systems as well as on the extraction of explicit computational content from given proofs in core areas of ordinary mathematics using proof-theoretic methods. The workshop contributed to the following research strands: interactions between foundations and applications; proof mining; constructivity in classical logic; modal logic and provability logic; proof theory and theoretical computer science; structural proof theory.