Browsing by MSC "03"
Now showing items 2140 of 47

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 ... 
0703  Model Theory and Groups
[OWR20072] (2007)  (14 Jan  20 Jan 2007)The aim of the workshop was to discuss the connections between model theory and group theory. Main topics have been the interaction between geometric group theory and model theory, the study of the asymptotic behaviour of ... 
1001  Model Theory: Around Valued Fields and Dependent Theories
[OWR20101] (2010)  (03 Jan  09 Jan 2010)The general topic of the meeting was “Valued fields and related structures”. It included both applications of model theory, as well as socalled “pure” model theory: the classification of first order structures using new ... 
2003  Model Theory: Groups, Geometries and Combinatorics
[OWR20202] (2020)  (12 Jan  18 Jan 2020)The focus of the conference were recent interactions between model theory, group theory and combinatorics in finite geometries. In some cases, in particular in nonarchimedean geometry or combinatorics in finite geometries, ... 
1302  Model Theory: Groups, Geometry, and Combinatorics
[OWR20131] (2013)  (07 Jan  12 Jan 2013)Overall this was a high quality meeting, with carefully chosen talks fitting in with the announced themes of the workshop. 
1601  Model Theory: groups, geometry, and combinatorics
[OWR20161] (2016)  (03 Jan  09 Jan 2016)This conference was about recent interactions of model theory with combinatorics, geometric group theory and the theory of valued fields, and the underlying pure modeltheoretic developments. Its aim was to report on recent ... 
Monoid valuations and value ordered supervaluations
[OWP201117] (Mathematisches Forschungsinstitut Oberwolfach, 2011)We complement two papers on supertropical valuation theory ([IKR1], [IKR2]) by providing natural examples of mvaluations (= monoid valuations), after that of supervaluations and transmissions between them. The supervaluations ... 
New representations of matroids and generalizations
[OWP201118] (Mathematisches Forschungsinstitut Oberwolfach, 2011)We extend the notion of matroid representations by matrices over fields by considering new representations of matroids by matrices over finite semirings, more precisely over the boolean and the superboolean semirings. This ... 
1245a  NonArchimedean Analytic Geometry
[OWR201253] (2012)  (04 Nov  10 Nov 2012)The workshop focused on recent developments in nonArchimedean analytic geometry with various applications to arithmetic and algebraic geometry. These applications include questions in Arakelov theory, padic differential ... 
1551  NonArchimedean Geometry and Applications
[OWR201557] (2015)  (13 Dec  19 Dec 2015)The workshop focused on recent developments in nonArchimedean analytic geometry with various applications to other fields, in particular to number theory and algebraic geometry. These applications included Mirror Symmetry, ... 
1909  NonArchimedean Geometry and Applications
[OWR20198] (2019)  (24 Feb  02 Mar 2019)The workshop focused on recent developments in nonArchimedean analytic geometry with various applications to other fields. The topics of the talks included applications to complex geometry, mirror symmetry, padic Hodge ... 
1718  OMinimality and its Applications to Number Theory and Analysis
[OWR201722] (2017)  (30 Apr  06 May 2017)The workshop brought together researchers in the areas of ominimal structures, analysis and number theory. The latest developments in ominimality and their applications to number theory and analysis were presented in a ... 
On the Enumeration of Finite $L$Algebras
[OWP202211] (Mathematisches Forschungsinstitut Oberwolfach, 20220629)We use Constraint Satisfaction Methods to construct and enumerate finite Lalgebras 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
[OWR200737] (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
[OWR201737] (2017)  (13 Aug  19 Aug 2017)Proof complexity is a multidisciplinary 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 “LionMan” Game
[OWP201918] (Mathematisches Forschungsinstitut Oberwolfach, 20190708)In this paper we analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuitevasion game. More precisely, we focus on a discrete lion and man game with an $\varepsilon$capture ...