Paul Shafer

Available identifiers

zbMath Open shafer.paulWikidataQ60024436 ScholiaQ60024436MaRDI QIDQ283111

List of research outcomes

Publication	Date of Publication	Type
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE	2024-04-05	Paper
ON COHESIVE POWERS OF LINEAR ORDERS	2023-09-11	Paper
Metric fixed point theory and partial impredicativity	2023-02-17	Paper
An inside/outside Ramsey theorem and recursion theory	2022-02-23	Paper
Effective powers of $\omega$ over $\Delta_2$ cohesive sets and infinite $\Pi_1$ sets without $\Delta_2$ cohesive subsets	2022-02-10	Paper
ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS	2021-12-09	Paper
Ordinal analysis of partial combinatory algebras	2020-10-23	Paper
Ekeland's variational principle in weak and strong systems of arithmetic	2020-10-13	Paper
The strength of compactness for countable complete linear orders	2020-09-08	Paper
Cohesive powers of linear orders	2020-05-12	Paper
RANDOMNESS NOTIONS AND REVERSE MATHEMATICS	2020-04-17	Paper
Comparing the degrees of enumerability and the closed Medvedev degrees	2019-07-04	Paper
On the logical strengths of partial solutions to mathematical problems	2018-05-25	Paper
Randomness and semimeasures	2017-08-17	Paper
Honest elementary degrees and degrees of relative provability without the cupping property	2017-03-16	Paper
The reverse mathematics of the Tietze extension theorem	2016-10-19	Paper
Reverse mathematics, well-quasi-orders, and Noetherian spaces	2016-05-13	Paper
On uniform relationships between combinatorial problems	2016-03-29	Paper
Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction	2016-03-22	Paper
The reverse mathematics of the Tietze extension theorem	2016-02-17	Paper
Universality, optimality, and randomness deficiency	2015-06-30	Paper
Reverse Mathematics and Algebraic Field Extensions	2014-04-30	Paper
Reverse mathematics, trichotomy, and dichotomy	2012-12-17	Paper
On uniform relationships between combinatorial problems	2012-12-01	Paper
Menger's theorem in \(\Pi^1_1 \mathrm {-CA}_0\)	2012-05-03	Paper
Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes	2012-04-13	Paper
Coding true arithmetic in the Medvedev and Muchnik degrees	2011-03-18	Paper
Characterizing the join-irreducible Medvedev degrees	2011-03-07	Paper

Research outcomes over time

This page was built for person: Paul Shafer