𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Kolmogorov complexity of initial segments of sequences and arithmetical definability

✍ Scribed by George Barmpalias; C.S. Vlek

Book ID
113927448
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
301 KB
Volume
412
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Kolmogorov complexity and characteristic
Kolmogorov complexity and characteristic constants of formal theories of arithmetic
✍ Shingo Ibuka; Makoto Kikuchi; Hirotaka Kikyo πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 84 KB

We investigate two constants c T and r T , introduced by Chaitin and Raatikainen respectively, defined for each recursively axiomatizable consistent theory T and universal Turing machine used to determine Kolmogorov complexity. Raatikainen argued that c T does not represent the complexity of T and f

Minima of initial segments of infinite s
Minima of initial segments of infinite sequences of reals
✍ Jeffry L. Hirst πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 90 KB

## Abstract Suppose that γ€ˆ__x~k~__〉~__k__βˆˆβ„•~ is a countable sequence of real numbers. Working in the usual subsystems for reverse mathematics, RCA~0~ suffices to prove the existence of a sequence of reals γ€ˆ__u~k~__〉~__k__βˆˆβ„•~ such that for each __k__, __u~k~__ is the minimum of {__x__~0~, __x__~1~,

Atom Transfer Radical Polymerization wit
Atom Transfer Radical Polymerization with Polypeptide Initiators: A General Approach to Block Copolymers of Sequence-Defined Polypeptides and Synthetic Polymers
✍ Hartmut Rettig; Eberhard Krause; Hans G. BΓΆrner πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 180 KB

## Abstract **Summary:** A novel two‐step polymerization strategy allowing the integration of sequence‐defined oligopeptides into synthetic polymers has been demonstrated by the successful synthesis of an oligopeptide‐__block__‐poly(__n__‐butyl acrylate) copolymer. The approach utilizes a solid‐pha