The Second Workshop on Digitalization and Computable Models (WDCM-2020)
|
The main site of the workshop: Link
Slides of the talks:
- Marat Arslanov, Complexity of fixed-point selection functions
- Arman Darbinyan, Computable groups and computable group orderings
- Rumen Dimitrov, Recent Results in Cohesive Powers
- Jun Le Goh, A Σ11 axiom of finite choice and Steel forcing
- Meng-Che "Turbo" Ho, Rationality of growths of groups
- Patrick Lutz, Part 1 of Martin's Conjecture for Order Preserving Functions
- Russell Miller, Hilbert's Tenth Problem for Subrings of the Rational Numbers
- Benoit Monin, Reverse mathematics and Ramsey theorem for pairs
- Victor Selivanov, On computable fields of reals and some applications
- Pavel Semukhin, The Membership Problem in matrix semigroups
- Alexandra Soskova, Coding and decoding in classes of structures
- Alexey Stukachev, Generalized Computability in Approximation Spaces
- Xizhong Zheng, A Computability Theory of Real Numbers
|