Browsing 5  Oberwolfach Reports (OWR) by MSC "03"
Now showing items 120 of 37

1206  Computability Theory
[OWR20128] (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
[OWR20181] (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)
[OWR202121] (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
[OWR201649] (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. 
1949  Groups, Dynamics, and Approximation
[OWR201955] (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)
[OWR20211] (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
[OWR201452] (2014)  (16 Nov  22 Nov 2014)The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around prooftheoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity 
0815  Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR200818] (2008)  (06 Apr  12 Apr 2008) 
1745  Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR201753] (2017)  (05 Nov  11 Nov 2017)The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around prooftheoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects ... 
1145  Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR201152] (2011)  (06 Nov  12 Nov 2011)The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around prooftheoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity. 
2046  Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting)
[OWR202034] (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 ... 
0512  Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
[OWR200514] (2005)  (20 Mar  26 Mar 2005)The workshop “Mathematical Logic: Proof Theory, Type Theory 
1034b  MiniWorkshop: Combinatorics on Words
[OWR201037] (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  MiniWorkshop: Feinstrukturtheorie und Innere Modelle
[OWR200620] (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  MiniWorkshop: Feinstrukturtheorie und Innere Modelle
[OWR200951] (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  MiniWorkshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra
[OWR200950] (2009)  (08 Nov  14 Nov 2009)The purpose of the miniworkshop 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  MiniWorkshop: Logic, Combinatorics and Independence Results
[OWR200652] (2006)  (26 Nov  02 Dec 2006)This is a collection of extended abstracts of a miniworkshop “Logic, Combinatorics and Independence results” that took place on November 25 – December 2, 2006 in Oberwolfach. The miniworkshop was attended by 16 researchers ... 
1651c  MiniWorkshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations
[OWR201660] (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 ... 
1109a  MiniWorkshop: The Homotopy Interpretation of Constructive Type Theory
[OWR201111] (2011)  (27 Feb  05 Mar 2011)Over the past few years it has become apparent that there is a surprising and deep connection between constructive logic and higherdimensional structures in algebraic topology and category theory, in the form of an ... 
0430  Model Theory and Complex Analytic Geometry
[OWR200435] (2004)  (18 Jul  24 Jul 2004)The aim of the workshop was to discuss the connections between model theory and complex analytic geometry, a particularly fascinating point of interaction, where modeltheoretic methods can both serve to extend the scope ...