TL;DR
The Logic Blog 2016 compiles diverse results in logic, including solutions to open questions, new proofs, and insights into topological groups, reverse mathematics, and combinatorial theorems, highlighting recent advances and connections in the field.
Contribution
It presents new solutions, proofs, and connections across various areas of logic, including the resolution of the Gamma question and novel insights into reverse mathematics and topological groups.
Findings
Resolution of the Gamma question by Monin
New proof of Harrington's 1978 result by Yu
Connections between reverse mathematics and randomness
Abstract
This year's logic blog contains a variety of results, some of them available only here. Highlights include the resolution of the Gamma question by Monin, and a number of entries on topological group theory and its connection to logic. There's also a new proof by Yu of Harrington's 1978 result that a Pi-11 set of hyperdegrees with a perfect subset contains an upper cone. Also there's quite a bit of reverse mathematics, including its connection to randomness, and variants of Hindman's theorem in this setting.
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
TopicsAdvanced Topology and Set Theory