Now showing items 1-19 of 40

• #### 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)
• #### 0815 - Mathematical Logic: Proof Theory, Constructive Mathematics ﻿

[OWR-2008-18] (2008) - (06 Apr - 12 Apr 2008)
• #### 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.
• #### 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 ...
• #### 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
• #### 0512 - Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics ﻿

[OWR-2005-14] (2005) - (20 Mar - 26 Mar 2005)
The workshop “Mathematical Logic: Proof Theory, Type Theory
• #### 1034b - Mini-Workshop: Combinatorics on Words ﻿

[OWR-2010-37] (2010) - (22 Aug - 28 Aug 2010)
The area of combinatorics on words is concerned with properties of sequences of symbols. It is characteristic to the field that questions arise from various mathematical problems, and hence, many fundamental results on ...
• #### 0618a - Mini-Workshop: Feinstrukturtheorie und Innere Modelle ﻿

[OWR-2006-20] (2006) - (30 Apr - 06 May 2006)
The main aim of fine structure theory and inner model theory can be summarized as the construction of models which have a canonical inner structure (a fine structure), making it possible to analyze them in great detail, ...
• #### 0946c - Mini-Workshop: Feinstrukturtheorie und Innere Modelle ﻿

[OWR-2009-51] (2009) - (08 Nov - 14 Nov 2009)
This workshop presented recent advances in ﬁne structure and inner model theory. There were extended tutorials on hod mice and the Mouse Set Conjecture, suitable extender sequences and their ﬁne structure, and the construction ...
• #### 0946b - Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra ﻿

[OWR-2009-50] (2009) - (08 Nov - 14 Nov 2009)
The purpose of the mini-workshop is to bring into the same place diﬀerent mathematical communities that study constructive homological algebra and are motivated by diﬀerent applications (e.g., constructive algebra, symbolic ...
• #### 0648b - Mini-Workshop: Logic, Combinatorics and Independence Results ﻿

[OWR-2006-52] (2006) - (26 Nov - 02 Dec 2006)
This is a collection of extended abstracts of a mini-workshop “Logic, Combinatorics and Independence results” that took place on November 25 – December 2, 2006 in Oberwolfach. The mini-workshop was attended by 16 researchers ...
• #### 1651c - Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations ﻿

[OWR-2016-60] (2016) - (18 Dec - 23 Dec 2016)
New striking analogies between H. Hahn’s fields of generalised series with real coefficients, G. H. Hardy’s field of germs of real valued functions, and J. H. Conway’s field No of surreal numbers, have been lately discovered ...