Browsing Oberwolfach Reports by MSC "03"

Now showing items 1-20 of 44

    • 1206 - Computability Theory 

      [OWR-2012-8] Workshop Report 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] Workshop Report 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] Workshop Report 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] Workshop Report 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.

    • 2207b - Descriptive Combinatorics, LOCAL Algorithms and Random Processes 

      [OWR-2022-8] Workshop Report 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 ...

    • 2203 - Groups and Dynamics: Topology, Measure, and Borel Structure 

      [OWR-2022-3] Workshop Report 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] Workshop Report 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] Workshop Report 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] Workshop Report 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] Workshop Report 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] Workshop Report 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] Workshop Report 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] Workshop Report 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] Workshop Report 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 ...

    • 0512 - Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics 

      [OWR-2005-14] Workshop Report 2005,14 (2005) - (20 Mar - 26 Mar 2005)
      The workshop “Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics” covered various topics of mathematical logic dealing with proofs as formal objects and computations induced by proofs.

    • 1034b - Mini-Workshop: Combinatorics on Words 

      [OWR-2010-37] Workshop Report 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] Workshop Report 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] Workshop Report 2009,51 (2009) - (08 Nov - 14 Nov 2009)
      This workshop presented recent advances in fine structure and inner model theory. There were extended tutorials on hod mice and the Mouse Set Conjecture, suitable extender sequences and their fine structure, and the construction ...

    • 0946b - Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra 

      [OWR-2009-50] Workshop Report 2009,50 (2009) - (08 Nov - 14 Nov 2009)
      The purpose of the mini-workshop is to bring into the same place different mathematical communities that study constructive homological algebra and are motivated by different applications (e.g., constructive algebra, symbolic ...

    • 0648b - Mini-Workshop: Logic, Combinatorics and Independence Results 

      [OWR-2006-52] Workshop Report 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 ...