• Alternative iterative methods for nonexpansive mappings, rates of convergence and applications 

      [OWP-2009-19] Colao, Vittorio; Leuştean, Laurenţiu; López, Genaro; Martín Márquez, Victoria (Mathematisches Forschungsinstitut Oberwolfach, 2009)
      Alternative iterative methods for a nonexpansive mapping in a Banach space are proposed and proved to be convergent to a common solution to a fixed point problem and a variational inequality. We give rates of asymptotic ...
    • Categorical Linearly Ordered Structures 

      [OWP-2018-08] Downey, Rod; Melnikov, Alexander; Ng, Keng Meng (Mathematisches Forschungsinstitut Oberwolfach, 2018-04-26)
      We prove that for every computable limit ordinal $\alpha$ there exists a computable linear ordering $\mathcal{A}$ which is $\Delta^0_\alpha$-categorical and $\alpha$ is smallest such, but nonetheless for every isomorphic ...
    • Cocycle Superrigidity and Group Actions on Stably Finite C*-Algebras 

      [OWP-2017-01] Gardella, Eusebio; Lupini, Martino (Mathematisches Forschungsinstitut Oberwolfach, 2017-01-17)
      Let $\Lambda $ be a countably infinite property (T) group, and let $D$ be UHF-algebra of infinite type. We prove that there exists a continuum of pairwise non (weakly) cocycle conjugate, strongly outer actions of $\Lambda ...
    • Definable orthogonality classes in accessible categories are small 

      [OWP-2011-14] Bagaria, Joan; Casacuberta, Carles; Mathias, Adrian R. D.; Rosický, Jiří (Mathematisches Forschungsinstitut Oberwolfach, 2011-05-15)
      We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary ...
    • Dominance and Transmissions in Supertropical Valuation Theory 

      [OWP-2011-07] Izhakian, Zur; Knebusch, Manfred; Rowen, Louis (Mathematisches Forschungsinstitut Oberwolfach, 2011)
      This paper is a sequel of [IKR1], where we defined supervaluations on a commutative ring $R$ and studied a dominance relation $\Phi >= v$ between supervaluations $\varphi$ and $\upsilon$ on $R$, aiming at an enrichment of ...
    • Monoid valuations and value ordered supervaluations 

      [OWP-2011-17] Izhakian, Zur; Knebusch, Manfred; Rowen, Louis (Mathematisches Forschungsinstitut Oberwolfach, 2011)
      We complement two papers on supertropical valuation theory ([IKR1], [IKR2]) by providing natural examples of m-valuations (= monoid valuations), after that of supervaluations and transmissions between them. The supervaluations ...
    • New representations of matroids and generalizations 

      [OWP-2011-18] Izhakian, Zur; Rhodes, John L. (Mathematisches Forschungsinstitut Oberwolfach, 2011)
      We extend the notion of matroid representations by matrices over fields by considering new representations of matroids by matrices over finite semirings, more precisely over the boolean and the superboolean semirings. This ...
    • On Dykstra’s Algorithm with Bregman Projections 

      [OWP-2024-04] Pinto, Pedro; Pischke, Nicholas (Mathematisches Forschungsinstitut Oberwolfach, 2024-04-16)
      We provide quantitative results on the asymptotic behavior of Dykstra’s algorithm with Bregman projections, a combination of the well-known Dykstra’s algorithm and the method of cyclic Bregman projections, designed to find ...
    • On the Enumeration of Finite $L$-Algebras 

      [OWP-2022-11] Dietzel, Carsten; Menchón, Paula; Vendramin, Leandro (Mathematisches Forschungsinstitut Oberwolfach, 2022-06-29)
      We use Constraint Satisfaction Methods to construct and enumerate finite L-algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory, algebraic logic, and the study of the ...
    • A Quantitative Analysis of the “Lion-Man” Game 

      [OWP-2019-18] Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana (Mathematisches Forschungsinstitut Oberwolfach, 2019-07-08)
      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 $\varepsilon$-capture ...
    • Supertropical semirings and supervaluations 

      [OWP-2010-05] Izhakian, Zur; Knebusch, Manfred; Rowen, Louis (Mathematisches Forschungsinstitut Oberwolfach, 2010)
      We interpret a valuation $\upsilon$ on a ring $R$ as a map $\upsilon:R \rightarrow M$ into a so called bipotent semiring $M$ (the usual max-plus setting), and then define a supervaluation $\varphi$ as a suitable map into ...