TL;DR
The 2014 Logic Blog compiles recent advances in logic, including results on randomness, equivalence relations, metric spaces, and a tutorial on K-triviality and low for K, highlighting open questions and new insights.
Contribution
It presents new results on higher randomness, structural properties of equivalence relations and metric spaces, and a comprehensive tutorial on K-triviality and low for K.
Findings
Answers to open questions in higher randomness
Structural results on equivalence relations and metric spaces
Tutorial on K-triviality and low for K
Abstract
The 2014 Logic Blog starts with open questions from the May IMS program in Singapore. It contains results on randomness, including answers to some open questions in higher randomness. There are structural results on equivalence relations, and metric spaces. The last 20 pages contain a tutorial [arXiv:1407.4259] by Bienvenu and Shen on the coincidence of K-trivial and low for K, and related results. They formulate the golden run in game theoretic language.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Data Management and Algorithms · Rough Sets and Fuzzy Logic