Powered by Google Search. Read more

  • 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 ...