Source author record

Philip Welch

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO Logic in Computer Science

Catalog footprint

Research overview

6works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Countable ranks at the first and second projective levels

A rank is a notion in descriptive set theory that describes ranks such as the Cantor-Bendixson rank on the set of closed subsets of a Polish space, differentiability ranks on the set of differentiable functions in $C[0,1]$ such as the Kechris-Woodin rank and many other ranks in descriptive set theory and real analysis. The complexity of many natural ranks is $Π^1_1$ or $Σ^1_2$ . We propose to understand the least length of ranks on a set as a measure of its complexity. Therefore, the aim is to understand which lengths such ranks may have. The main result determines the suprema of lengths of countable ranks at the first and second projective levels. Furthermore, we characterise the existence of countable ranks on specific classes of $Σ^1_2$ sets. The connections arising between $Σ^1_2$ sets with countable ranks on the one hand and $Σ^1_2$ Borel sets on the other lead to a conjecture that unifies several results in descriptive set theory such as the Mansfield-Solovay theorem and a recent result of Kanovei and Lyubetsky.

preprint2022arXiv

Decision times of infinite computations

The decision time of an infinite time algorithm is the supremum of its halting times over all real inputs. The decision time of a set of reals is the least decision time of an algorithm that decides the set; semidecision times of semidecidable sets are defined similary. It is not hard to see that $ω_1$ is the maximal decision time of sets of reals. Our main results determine the supremum of countable decision times as $σ$ and that of countable semidecision times as $τ$ , where $σ$ and $τ$ denote the suprema of $Σ_1$ - and $Σ_2$ -definable ordinals, respectively, over $L_{ω_1}$ . We further compute analogous suprema for singletons.

preprint2016arXiv

Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities

We prove that the upper bounds for the consistency strength of certain instances of mutual stationarity considered by Liu-Shelah~\cite{MR1469093} are close to optimal. We also consider some related and, as it turns out, stronger properties.

preprint2014arXiv

Discrete Transfinite Computation

We describe various computational models based initially, but not exclusively, on that of the Turing machine, that are generalized to allow for transfinitely many computational steps. Variants of such machines are considered that have longer tapes than the standard model, or that work on ordinals rather than numbers. We outline the connections between such models and the older theories of recursion in higher types, generalized recursion theory, and recursion on ordinals such as $α$ -recursion. We conclude that, in particular, polynomial time computation on $ω$ -strings is well modelled by several convergent conceptions.

preprint2011arXiv

Ramsey-like cardinals II

This paper continues the study of the Ramsey-like large cardinals. Ramsey-like cardinals are defined by generalizing the characterization of Ramsey cardinals via the existence of elementary embeddings. Ultrafilters derived from such embeddings are fully iterable and so it is natural to ask about large cardinal notions asserting the existence of ultrafilters allowing only $α$ -many iterations for some countable ordinal $α$ . Here we study such $α$ -iterable cardinals. We show that the $α$ -iterable cardinals form a strict hierarchy for $α\leqω_1$ , that they are downward absolute to $L$ for $α<ω_1^L$ , and that the consistency strength of Schindler's remarkable cardinals is strictly between 1-iterable and 2-iterable cardinals.

preprint1996arXiv

Determinacy and Δ^1_3-degrees

Let D = { d_n } be a countable collection of Delta^1_3 degrees. Assuming that all co-analytic games on integers are determined (or equivalently that all reals have ``sharps''), we prove that either D has a Delta^1_3-minimal upper bound, or that for any n, and for every real r recursive in d_n, games in the pointclasses Delta^1_2(r) are determined. This is proven using Core Model theory.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.