Author pages are created from data sourced from our academic publisher partnerships and public sources.

Publications Influence

Effectiveness of Hindman's Theorem for Bounded Sums

- Damir D. Dzhafarov, C. Jockusch, Reed Solomon, L. Westrick
- Mathematics, Computer Science
- Computability and Complexity
- 27 March 2016

TLDR

7 1- PDF

Three topological reducibilities for discontinuous functions

- Adam R. Day, R. Downey, L. Westrick
- Mathematics
- 18 June 2019

We define a family of three related reducibilities, $\leq_T$, $\leq_{tt}$ and $\leq_m$, for arbitrary functions $f,g:X\rightarrow\mathbb R$, where $X$ is a compact separable metric space. The… Expand

4 1- PDF

A note on the diamond operator.

- L. Westrick
- Mathematics
- 25 January 2020

We show that if $1 \leq_W F$ and $F \star F \leq_W F$, then $F^\diamond \leq_W F$, where $\star$ and $\diamond$ are the following operations in the Weihrauch lattice: $\star$ is the compositional… Expand

4 1- PDF

Ramsey's theorem for singletons and strong computable reducibility

- Damir D. Dzhafarov, Ludovic Patey, Reed Solomon, L. Westrick
- Mathematics
- 14 February 2016

We answer a question posed by Hirschfeldt and Jockusch by showing that whenever $k > \ell$, Ramsey's theorem for singletons and $k$-colorings, $\mathsf{RT}^1_k$, is not strongly computably reducible… Expand

14- PDF

Seas of squares with sizes from a $\Pi^0_1$ set

- L. Westrick
- Mathematics
- 23 September 2016

For each $\Pi^0_1$ $S\subseteq \mathbb{N}$, let the $S$-square shift be the two-dimensional subshift on the alphabet $\{0,1\}$ whose elements consist of squares of 1s of various sizes on a background… Expand

5- PDF

Seas of squares with sizes from a Π10 set

- L. Westrick
- Mathematics
- 1 October 2017

For each Π10S ⊆ N, let the S-square shift be the two-dimensional subshift on the alphabet {0, 1} whose elements consist of squares of 1s of various sizes on a background of 0s, where the side length… Expand

6- PDF

A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK

- L. Westrick
- Mathematics, Computer Science
- The Journal of Symbolic Logic
- 13 February 2013

TLDR

3- PDF

Effectiveness for the Dual Ramsey Theorem

- Damir D. Dzhafarov, S. Flood, Reed Solomon, L. Westrick
- Mathematics
- 29 September 2017

We analyze the Dual Ramsey Theorem for $k$ partitions and $\ell$ colors ($\mathsf{DRT}^k_\ell$) in the context of reverse math, effective analysis, and strong reductions. Over $\mathsf{RCA}_0$, the… Expand

5- PDF

Finding bases of uncountable free abelian groups is usually difficult

- N. Greenberg, Dan Turetsky, L. Westrick
- Mathematics
- 1 September 2017

We investigate effective properties of uncountable free abelian groups. We show that identifying free abelian groups and constructing bases for such groups is often computationally hard, depending on… Expand

2- PDF

The reverse mathematics of Hindman's Theorem for sums of exactly two elements

- Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt, C. Jockusch, Reed Solomon, L. Westrick
- Mathematics, Computer Science
- Comput.
- 25 April 2018

TLDR

4- PDF

...

1

2

...