- 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
Mini-Workshop: Homological aspects of TDLC-groups
point of interest for geometric group theory and the theory of TDLC groups. ... computability seems not to arise. Remark 5. Can one state and either prove ...
- journal article file
Universal Borel actions of countable groups
Rogers, Jr., Theory of recursive functions and effective computability. 2nd ed., MIT. Press, Cambridge, MA, 1987. MR 886890. [26] D. Sonkin, CEP-subgroups of ...
- journal article file
Mathematisches Forschungsinstitut Oberwolfach Mathematical ...
Proof theory and theoretical computer science. • Structural proof theory ... terms of computable reducibility and we indicate how computability concepts such.
- other
Untitled
Mar 1, 2000 ... Scope: measure theory, function theory, partial differential ... tivism, computability and algorithms, and set theory and natural numbers.
- journal article file
Words in linear groups, random walks, automata and P-recursiveness
The proof of Theorem 1.1 is completely self-contained and based on ideas from computability. ... analysis, analytic number theory, probability and group theory.
- 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
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 ...
- other
Untitled
Sessions: Computability theory [organisers: Steffen Lempp (Madison, WI), Manuel. Lerman (Storrs CT), Andrea Sorbi (Siena)],. Frank Stephan (Heidelberg) ...
- journal article file
Secondary higher invariants and cyclic cohomology for groups of ...
To reduce the computability difficulty and make this second higher ... theory. Clearly, the lifted inclusion map z{W zM ,! zW is equivariantly ...