Browsing by MSC "03"
Now showing items 1-20 of 56
-
The Alternating Halpern-Mann Iteration for Families of Maps
[OWP-2024-07] (Mathematisches Forschungsinstitut Oberwolfach, 2024-07-15)We generalize the alternating Halpern-Mann iteration to countably infinite families of nonexpansive maps and prove its strong convergence towards a common fixed point in the general nonlinear setting of Hadamard spaces. ... -
Alternative iterative methods for nonexpansive mappings, rates of convergence and applications
[OWP-2009-19] (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] (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] (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 ... -
1206 - Computability Theory
[OWR-2012-8] (2012) - (05 Feb - 11 Feb 2012)Computability is one of the fundamental notions of mathematics, trying to capture the effective content of mathematics. Starting from Gödel’s Incompleteness Theorem, it has now blossomed into a rich area with strong ... -
1802 - Computability Theory
[OWR-2018-1] (2018) - (07 Jan - 13 Jan 2018)Computability and computable enumerability are two of the fundamental notions of mathematics. Interest in effectiveness is already apparent in the famous Hilbert problems, in particular the second and tenth, and in early ... -
2117 - Computability Theory (hybrid meeting)
[OWR-2021-21] (2021) - (25 Apr - 01 May 2021)Over the last decade computability theory has seen many new and fascinating developments that have linked the subject much closer to other mathematical disciplines inside and outside of logic. This includes, for instance, ... -
1643 - Definability and Decidability Problems in Number Theory
[OWR-2016-49] (2016) - (23 Oct - 29 Oct 2016)This workshop brought together experts working on variations of Hilbert’s Tenth Problem and more general decidability issues for structures other than the ring of integers arising naturally in number theory and algebraic geometry. -
Definable orthogonality classes in accessible categories are small
[OWP-2011-14] (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 ... -
2207b - Descriptive Combinatorics, LOCAL Algorithms and Random Processes
[OWR-2022-8] (2022) - (13 Feb - 19 Feb 2022)The aim of this mini-workshop was to discover and deepen connections between the fields of descriptive combinatorics, distributed computing and random processes. The common link is played by the so-called local coloring ... -
Dominance and Transmissions in Supertropical Valuation Theory
[OWP-2011-07] (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 ... -
2203 - Groups and Dynamics: Topology, Measure, and Borel Structure
[OWR-2022-3] (2022) - (16 Jan - 22 Jan 2022)While the subjects of topological dynamics, ergodic theory, and descriptive set theory have long interacted in a variety of profitable ways, recent developments have ushered in a vigorous new phase of interplay between ... -
1949 - Groups, Dynamics, and Approximation
[OWR-2019-55] (2019) - (01 Dec - 07 Dec 2019)The workshop covered a wide range of topics, with emphasis on Geometric Group Theory, Ergodic Theory and links with Functional Analysis on the one hand and Mathematical Logic on the other. The goal of the workshop was to ... -
2101a - Homogeneous Structures: Model Theory meets Universal Algebra (online meeting)
[OWR-2021-1] (2021)The workshop "Homogeneous Structures: Model Theory meets Universal Algebra'' was centred around transferring recently obtained advances in universal algebra from the finite to the infinite. As it turns out, the notion ... -
1447 - Mathematical Logic: Proof theory, Constructive Mathematics
[OWR-2014-52] (2014) - (16 Nov - 22 Nov 2014)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 -
1745 - Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR-2017-53] (2017) - (05 Nov - 11 Nov 2017)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 ... -
1145 - Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR-2011-52] (2011) - (06 Nov - 12 Nov 2011)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. -
0815 - Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR-2008-18] (2008) - (06 Apr - 12 Apr 2008)The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” brought together a carefully selected group of mathematicians, computer scientists and logicians in other fields to discus the impact of proof-theoretic ... -
2346 - Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR-2023-53] (2023) - (12 Nov - 17 Nov 2023)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 ... -
2046 - Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting)
[OWR-2020-34] (2020) - (08 Nov - 14 Nov 2020)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 ...