Continuous models of arithmetic, MOPA, November 2020
Joel David Hamkins,
This will be a talk for the Models of Peano Arithmetic (MOPA) seminar on 18 November 2020, 11 am EST (4 pm GMT). Abstract. Ali…
Classical and New Paradigms of Computation and their Complexity Hierarchies
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Complexity hierarchies derived from reduction functions
-
Altmetric BadgeChapter 2 Quantum query algorithms and lower bounds
-
Altmetric BadgeChapter 3 Algebras of minimal rank: overview and recent developments
-
Altmetric BadgeChapter 4 Recent developments in iterated forcing theory
-
Altmetric BadgeChapter 5 Classification problems in algebra and topology
-
Altmetric BadgeChapter 6 Using easy optimization problems to solve hard ones
-
Altmetric BadgeChapter 7 On Sacks forcing and the Sacks property
-
Altmetric BadgeChapter 8 Supertask computation
-
Altmetric BadgeChapter 9 A refinement of Jensen's constructible hierarchy
-
Altmetric BadgeChapter 10 Effective Hausdorff dimension
-
Altmetric BadgeChapter 11 Axiomatizability of algebras of binary relations
-
Altmetric BadgeChapter 12 Forcing axioms and projective sets of reals
-
Altmetric BadgeChapter 13 Post's and other problems of supertasks of higher type