Cover Image

Martin's conjecture for regressive functions on the hyperarithmetic degrees

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Lutz, Patrick
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Listing the hyperarithmetical functions
by: Miller, Joseph S., et al.
Published: (2026)

Approximation of hyperarithmetic analysis by $ω$-model reflection
by: Hashimoto, Koki
Published: (2024)

Connecting real and hyperarithmetical analysis
by: Sanders, Sam
Published: (2024)

Part 1 of Martin's Conjecture for order-preserving and measure-preserving functions
by: Lutz, Patrick, et al.
Published: (2023)

A Borel graphable equivalence relation with no Borel graphing of diameter two
by: Lutz, Patrick
Published: (2026)

The subTuring degrees
by: Kihara, Takayuki, et al.
Published: (2024)

Nonembeddings of Combinatory Algebras
by: Lutz, Patrick, et al.
Published: (2026)

Ranking theories via encoded $β$-models
by: Jeon, Hanul, et al.
Published: (2025)

Rigid many-one degrees contain infinite antichains of $1$-degrees
by: Cintioli, Patrizio
Published: (2026)

Borel graphable equivalence relations
by: Arant, Tyler, et al.
Published: (2024)

Wadge degrees of $Δ^0_2$ omega-powers
by: Finkel, Olivier, et al.
Published: (2024)

On a conjecture of Debs and Saint Raymond
by: Kwela, Adam
Published: (2021)

Shelah's conjecture fails for higher cardinalities
by: Marangelis, Georgios
Published: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)

Minimal covers in the Weihrauch degrees
by: Lempp, Steffen, et al.
Published: (2023)

On a conjecture of Terry and Wolf
by: Gladkova, V.
Published: (2024)

The ineffectiveness of the regularity lemma for bounded degree graphs
by: Lyons, Clark, et al.
Published: (2025)

Ramsey theory of low-degree semialgebraic relations
by: Adibelli, Azem, et al.
Published: (2026)

Torsion-free abelian groups of finite rank and fields of finite transcendence degree
by: Ho, Meng-Che "Turbo", et al.
Published: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

Univalence without function extensionality
by: Cavallo, Evan, et al.
Published: (2026)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

Complete representation by partial functions for signatures containing antidomain restriction
by: McLean, Brett
Published: (2023)

Exact big Ramsey degrees for finitely constrained binary free amalgamation classes
by: Balko, Martin, et al.
Published: (2021)

Embeddability of graphs and Weihrauch degrees
by: Cipriani, Vittorio, et al.
Published: (2023)

Intuitionistic BV (Extended version)
by: Acclavio, Matteo, et al.
Published: (2025)

Exponential sums equations and the Exponential Closedness conjecture
by: Aslanyan, Vahagn, et al.
Published: (2024)

Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy
by: Schindler, Ralf, et al.
Published: (2024)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
by: Mannucci, Mirco A., et al.
Published: (2026)

The transcendence degree of the reals over certain set-theoretical subfields
by: Fatalini, Azul, et al.
Published: (2024)

Almost free modules, perfect decomposition and Enochs's conjecture
by: Cortés-Izurdiaga, Manuel, et al.
Published: (2024)

Transcendence degrees over mutually generic extensions
by: Schilhan, Jonathan
Published: (2025)

A Topological Rewriting of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)

Coanalytic families of functions
by: Millhouse, Julia, et al.
Published: (2025)

Order-invariant cluster first-order logic on graph classes of bounded degree
by: Ghasemi, Fatemeh, et al.
Published: (2026)

Wadge degrees of Δ20$\mathbf{\Delta }^0_2$ omega‐powers
by: Olivier Finkel, et al.
Published: (2024)

Perfectly normal nonrealcompact spaces under Martin's Maximum
by: Tetsuya Ishiu
Published: (2024)

Computable categoricity relative to a c.e. degree
by: Villano, Java Darleen
Published: (2024)