- journal article file
Mathematical Logic: Proof Theory, Constructive Mathematics
Two computable operators have been conjectured to be jumps. Definition 1 (consistency jump). For a proof system P, define con(P), the consis- tency jump, to ...
- journal article file
Set Theory
theory, set theory and Banach spaces, metric structures. Mathematics ... PRIN 2017-2017NWTM8R Mathematical Logic: models, sets, computability. MSC ...
- journal article file
Transport and Scale Interactions in Geophysical Flows
The computability of this theoretical uncertainty distribution is demonstrated using oceanic velocity data. How to computationally leverage the obtained theory ...
- journal article file
Fivebranes and knots
computability is not. It would be highly desirable to bridge the gap ... theory and string theory. (We have not yet described explicitly the relevant ...
- journal article file
Abel interview 2021: László Lovász and Avi Wigderson
notions of efficient computability were equivalent. ... So I had to learn, and I still have to learn much more mathematics, especially in- variant theory, ...
- other
Untitled
Sessions: Computability theory [organisers: Steffen Lempp (Madison, WI), Manuel. Lerman (Storrs CT), Andrea Sorbi (Siena)],. Frank Stephan (Heidelberg) ...
- journal article file
Coherent randomness tests and computing the K-trivial sets
between computability and randomness. One example is related to an ... [6] Chaitin, G.: A theory of program size formally identical to information theory.
- journal article file
Mini-Workshop: Homological aspects of TDLC-groups
point of interest for geometric group theory and the theory of TDLC groups. ... Arguably the question for FP2 and FP3 should be easier because computability seems ...
- 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 ...
- journal article file
Asymptotically nonexpansive mappings in uniformly convex ...
May 23, 2007 ... ... computability when dealing with argu- ments in NN. Page 13 ... Theory and Applications (Valencia, 2003), Yokohama Publ., Yokohama ...