Browsing by MSC "03"
Now showing items 41-53 of 53
-
On Dykstra’s Algorithm with Bregman Projections
[OWP-2024-04] (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] (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 ... -
0732 - Permutation Groups
[OWR-2007-37] (2007) - (05 Aug - 11 Aug 2007)Abstract. The theory of permutation groups is essentially the theory of symmetry for mathematical and physical systems, and therefore has major impact in diverse areas of mathematics. Recent significant advances in permutation ... -
1733 - Proof Complexity and Beyond
[OWR-2017-37] (2017) - (13 Aug - 19 Aug 2017)Proof complexity is a multi-disciplinary intellectual endeavor that addresses questions of the general form “how difficult is it to prove certain mathematical facts?” The current workshop focused on recent advances in our ... -
A Quantitative Analysis of the “Lion-Man” Game
[OWP-2019-18] (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 ... -
1102 - Set Theory
[OWR-2011-2] (2011) - (09 Jan - 15 Jan 2011)This stimulating workshop exposed some of the most exciting recent develops in set theory, including major new results about the proper forcing axiom, stationary reflection, gaps in P(ω)/Fin, iterated forcing, the tree ... -
1403 - Set Theory
[OWR-2014-2] (2014) - (12 Jan - 18 Jan 2014)This stimulating workshop featured a broad selection of some of the most important recent developments in combinatorial set theory, the theory and applications of forcing, large cardinal theory and descriptive set theory. -
0549 - Set Theory
[OWR-2005-55] (2005) - (04 Dec - 10 Dec 2005)This meeting covered all important aspects of modern Set Theory, including large cardinal theory, combinatorial set theory, descriptive set theory, connections with algebra and analysis, forcing axioms and inner model ... -
0803 - Set Theory
[OWR-2008-2] (2008) - (13 Jan - 19 Jan 2008) -
1707 - Set Theory
[OWR-2017-11] (2017) - (12 Feb - 18 Feb 2017)This workshop included selected talks on pure set theory and its applications, simultaneously showing diversity and coherence of the subject. -
2202 - Set Theory
[OWR-2022-2] (2022) - (09 Jan - 15 Jan 2022)While set theory continues reaching out into various other fields of mathematics but also becomes more and more specialized, recent times have seen important results around holy grails of set theory which gave a new momentum ... -
2015 - Set Theory (online meeting)
[OWR-2020-14] (2020) - (05 Apr - 11 Apr 2020)Set theory continues to experience dramatic progress, both in pure set theory, with its fundamental techniques of forcing, large cardinals, and inner model theory, and in applied set theory, with its deep connections to ... -
Supertropical semirings and supervaluations
[OWP-2010-05] (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 ...