- journal article file
˛-induction for bi-unitary connections
This computability is one reason why physicists are interested in this ... See a short review [28] and a longer review [27] for a general theory of this topic.
- journal article file
Mathematisches Forschungsinstitut Oberwolfach Homogenization ...
computability of this limit, rates of convergence to the limit and so on ... qualitative theory, the quantitative theory is in its early stage. Indeed ...
- journal article file
Operational K-Theory
Jan 26, 2015 ... arbitrary fiber squares as independent squares, and computability on relatively simple spaces, such as toric varieties. In future work, we ...
- other
Lectures on logic. European Mathematical Society (EMS), Zürich ...
notions, such as predicativity and infinite computability, which create philosophical ... logic, the λ-calculus, type theory and category theory. This leads to a ...
- journal article file
Set Theory
theory, set theory and Banach spaces, metric structures. Mathematics ... PRIN 2017-2017NWTM8R Mathematical Logic: models, sets, computability. MSC ...
- other
2022 Abacus Medal: Mark Braverman
In the past decade, Mark Braverman has emerged as a major leader in theoretical computer science. He has an uncommon versatility and fearlessness that has ...
- other
Untitled
Sessions: Computability theory [organisers: Steffen Lempp (Madison, WI), Manuel. Lerman (Storrs CT), Andrea Sorbi (Siena)],. Frank Stephan (Heidelberg) ...
- journal article file
Separatedness in Constructive Topology
constructive theory, we would run into difficulties which the classical theory avoids by appli- ... tion between subsets', in: Combinatorics, Computability and ...
- journal article file
The Flow of Weights in Subfactor Theory
We end this section with a remark on the computability of flow of weights. For the type III0-case, cf. also [28]. In the single factor case, the flow of ...
- other
Tameness in geometry and arithmetic: beyond o-minimality
In formulating his conjecture, Wilkie was probably influenced by Khovanskii's theory of fewnomials [25]. ... imply the (effective) polynomial time computability ...