5,250 research outputs found
The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
Post Embedding Problems are a family of decision problems based on the
interaction of a rational relation with the subword embedding ordering, and are
used in the literature to prove non multiply-recursive complexity lower bounds.
We refine the construction of Chambart and Schnoebelen (LICS 2008) and prove
parametric lower bounds depending on the size of the alphabet.Comment: 16 + vii page
Estimation of the control parameter from symbolic sequences: Unimodal maps with variable critical point
The work described in this paper can be interpreted as an application of the
order patterns of symbolic dynamics when dealing with unimodal maps.
Specifically, it is shown how Gray codes can be used to estimate the
probability distribution functions (PDFs) of the order patterns of parametric
unimodal maps. Furthermore, these PDFs depend on the value of the parameter,
what eventually provides a handle to estimate the parameter value from symbolic
sequences (in form of Gray codes), even when the critical point depends on the
parameter.Comment: 10 pages, 14 figure
Topological conjugations are not constructable
We construct two computable topologically conjugate functions for which no
conjugacy is computable, or even hyperarithmetic, resolving an open question of
Kennedy and Stockman.Comment: 9 pages. v2 adds a note on folklor
Strongly uplifting cardinals and the boldface resurrection axioms
We introduce the strongly uplifting cardinals, which are equivalently
characterized, we prove, as the superstrongly unfoldable cardinals and also as
the almost hugely unfoldable cardinals, and we show that their existence is
equiconsistent over ZFC with natural instances of the boldface resurrection
axiom, such as the boldface resurrection axiom for proper forcing.Comment: 24 pages. Commentary concerning this article can be made at
http://jdh.hamkins.org/strongly-uplifting-cardinals-and-boldface-resurrectio
- …