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
An inside/outside Ramsey theorem and recursion theory	2022-02-23	Paper
ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS	2021-12-09	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 INDUCTION	2016-03-22	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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paul Shafer