10,561 research outputs found
On the inevitability of the consistency operator
We examine recursive monotonic functions on the Lindenbaum algebra of
. We prove that no such function sends every consistent
to a sentence with deductive strength strictly between and
. We generalize this result to iterates
of consistency into the effective transfinite. We then prove that for any
recursive monotonic function , if there is an iterate of that
bounds everywhere, then must be somewhere equal to an iterate of
Iterated wreath product of the simplex category and iterated loop spaces
Generalising Segal's approach to 1-fold loop spaces, the homotopy theory of
-fold loop spaces is shown to be equivalent to the homotopy theory of
reduced -spaces, where is an iterated wreath product of
the simplex category . A sequence of functors from to
allows for an alternative description of the Segal-spectrum associated
to a -space. In particular, each Eilenberg-MacLane space has
a canonical reduced -set model
On the Hierarchy of Natural Theories
It is a well-known empirical phenomenon that natural axiomatic theories are
pre-well-ordered by consistency strength. Without a precise mathematical
definition of "natural," it is unclear how to study this phenomenon
mathematically. We will discuss the significance of this problem and survey
some strategies that have recently been developed for addressing it. These
strategies emphasize the role of reflection principles and ordinal analysis and
draw on analogies with research in recursion theory. We will conclude with a
discussion of open problems and directions for future research
Heterotic-string amplitudes at one loop: modular graph forms and relations to open strings
We investigate one-loop four-point scattering of non-abelian gauge bosons in
heterotic string theory and identify new connections with the corresponding
open-string amplitude. In the low-energy expansion of the heterotic-string
amplitude, the integrals over torus punctures are systematically evaluated in
terms of modular graph forms, certain non-holomorphic modular forms. For a
specific torus integral, the modular graph forms in the low-energy expansion
are related to the elliptic multiple zeta values from the analogous open-string
integrations over cylinder boundaries. The detailed correspondence between
these modular graph forms and elliptic multiple zeta values supports a recent
proposal for an elliptic generalization of the single-valued map at genus zero.Comment: 57+22 pages, v2: references updated, version published in JHE
Reflection ranks and ordinal analysis
It is well-known that natural axiomatic theories are well-ordered by
consistency strength. However, it is possible to construct descending chains of
artificial theories with respect to consistency strength. We provide an
explanation of this well-orderness phenomenon by studying a coarsening of the
consistency strength order, namely, the reflection strength order. We
prove that there are no descending sequences of sound extensions of
in this order. Accordingly, we can attach a rank in this
order, which we call reflection rank, to any sound extension of
. We prove that for any sound theory extending
, the reflection rank of equals the proof-theoretic
ordinal of . We also prove that the proof-theoretic ordinal of
iterated reflection is . Finally, we use our
results to provide straightforward well-foundedness proofs of ordinal notation
systems based on reflection principles
Evitable iterates of the consistency operator
Let's fix a reasonable subsystem of arithmetic; why are natural
extensions of pre-well-ordered by consistency strength? In previous work,
an approach to this question was proposed. The goal of this work was to
classify the recursive functions that are monotone with respect to the
Lindenabum algebra of . According to an optimistic conjecture, roughly,
every such function must be equivalent to an iterate of
the consistency operator in the limit.
In previous work the author established the first case of this optimistic
conjecture; roughly, every recursive monotone function is either as weak as the
identity operator in the limit or as strong as in the limit.
Yet in this note we prove that this optimistic conjecture fails already at the
next step; there are recursive monotone functions that are neither as weak as
in the limit nor as strong as in the limit.
In fact, for every , we produce a function that is cofinally as strong
as yet cofinally as weak as
Turing-Taylor expansions for arithmetic theories
Turing progressions have been often used to measure the proof-theoretic
strength of mathematical theories. Turing progressions based on -provability
give rise to a proof-theoretic ordinal. As such, to each theory
we can assign the sequence of corresponding ordinals . We call this sequence a \emph{Turing-Taylor expansion} of
a theory.
In this paper, we relate Turing-Taylor expansions of sub-theories of Peano
Arithmetic to Ignatiev's universal model for the closed fragment of the
polymodal provability logic . In particular, in this
first draft we observe that each point in the Ignatiev model can be seen as
Turing-Taylor expansions of formal mathematical theories.
Moreover, each sub-theory of Peano Arithmetic that allows for a Turing-Taylor
expression will define a unique point in Ignatiev's model.Comment: First draf
- …