Cover Image

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Harrington, Leo A., Gerdes, Peter M.
Format:	Preprint
Published:	2025
Subjects:	Logic 03D60, 03D30 (Primary), 03C70 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
by: Gerdes, Peter
Published: (2023)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

Contrasting the Halves of an Ahmad Pair
by: Ravishankar, Karthik
Published: (2025)

Chains and antichains in the Weihrauch lattice
by: Lempp, Steffen, et al.
Published: (2024)

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
by: Cipriani, Vittorio, et al.
Published: (2022)

Strong reducibilities and set theory
by: Schweber, Noah
Published: (2024)

Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$
by: Gerdes, Peter M.
Published: (2025)

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
by: Bahl, Rohan
Published: (2024)

Iterated jump noncomputability and compactness
by: Dooley, Gavin
Published: (2025)

Solovay reducibility implies S2a-reducibility
by: Titov, Ivan
Published: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
by: Merkle, Wolfgang, et al.
Published: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2025)

A non-computable c.e. closed subset of $[0,1]$
by: Badaev, Serikzhan, et al.
Published: (2025)

Computability for tree presentations of continuum-size structures
by: Block, Jason, et al.
Published: (2025)

The computational content of multidimensional discontinuity
by: Hölzl, Rupert, et al.
Published: (2024)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
by: Massmann, Jayde Sylvie
Published: (2023)

An equiconsistency proof for $\mathrm{CZF} + V = L$
by: Wang, Shuwei
Published: (2026)

Ramsey-like theorems for separable permutations
by: Houérou, Quentin Le, et al.
Published: (2025)

Martin's Conjecture in the Enumeration Degrees
by: Cordero, Antonio Nakid
Published: (2025)

Definability over $\mathrm BΣ^0_2$-models
by: Chong, Chi Tat, et al.
Published: (2025)

A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)

Forcing as a Local Method of Accessing Small Extensions
by: Lau, Desmond
Published: (2024)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
by: Aceves-Martínez, Bruno Fernando, et al.
Published: (2024)

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

Variants of Solovay reducibility
by: Titov, Ivan
Published: (2024)

Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
by: Titov, Ivan
Published: (2024)

Broad Infinity and Generation Principles
by: Levy, Paul Blain
Published: (2021)

Deconstructible classes of modules and stability
by: Mazari-Armida, Marcos, et al.
Published: (2025)

Model Theory of Generic Vector Space Endomorphisms
by: Chini, Leon
Published: (2025)

Model Theory of Generic Vector Space Endomorphisms II
by: Chini, Leon
Published: (2025)

Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)

Multidimensional asymptotic classes
by: Anscombe, Sylvy, et al.
Published: (2024)

Vector spaces with a union of independent subspaces
by: Berarducci, Alessandro, et al.
Published: (2022)

Hallucination, abstention, and computable inseparability
by: Imamura, Takuma
Published: (2026)

Some definable types that cannot be amalgamated
by: Hils, Martin, et al.
Published: (2022)

The Galvin-Prikry Theorem in the Weihrauch lattice
by: Marcone, Alberto, et al.
Published: (2024)

Induction on Dilators and Bachmann-Howard Fixed Points
by: Aguilera, Juan P., et al.
Published: (2024)

Regainingly approximable numbers and sets
by: Hertling, Peter, et al.
Published: (2023)