:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Miller, Joseph S., Osso, Gian Marco, Scott, Isabella
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic 03D60, 03D80
Online-Zugang:	https://arxiv.org/abs/2605.21194
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Forcing and classes of $\mathsf{HYP}$-dominating functions
von: Greenberg, Noam, et al.
Veröffentlicht: (2026)

The Galvin-Prikry Theorem in the Weihrauch lattice
von: Marcone, Alberto, et al.
Veröffentlicht: (2024)

Computable Approximations of Semicomputable Graphs
von: Čačić, Vedran, et al.
Veröffentlicht: (2024)

Variants of the chain-antichain principle in reverse mathematics
von: Hughes, Noah A.
Veröffentlicht: (2025)

Benign approximations and non-speedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2023)

Randomness versus superspeedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

The computational content of multidimensional discontinuity
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

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

Hallucination, abstention, and computable inseparability
von: Imamura, Takuma
Veröffentlicht: (2026)

Bounded Ramsey's theorem for triples in computability theory
von: Patey, Ludovic, et al.
Veröffentlicht: (2026)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
von: Gerdes, Peter
Veröffentlicht: (2023)

Problems with fixpoints of polynomials of polynomials
von: Pradic, Cécilia, et al.
Veröffentlicht: (2026)

Fundamental sequences based on localization
von: Wilken, Gunnar
Veröffentlicht: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
von: Wilken, Gunnar
Veröffentlicht: (2025)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
von: Harrington, Leo A., et al.
Veröffentlicht: (2025)

Strong reducibilities and set theory
von: Schweber, Noah
Veröffentlicht: (2024)

Iterated jump noncomputability and compactness
von: Dooley, Gavin
Veröffentlicht: (2025)

More conservativity for weak Kőnig's lemma
von: Freund, Anton, et al.
Veröffentlicht: (2024)

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

The reverse mathematics of the pigeonhole hierarchy
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

Analysis of HOD for Admissible Structures
von: Kruschewski, Jan, et al.
Veröffentlicht: (2025)

Learning Equivalence Relations on Polish Spaces
von: Rossegger, Dino, et al.
Veröffentlicht: (2024)

A jump operator on the Weihrauch degrees
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

Minimal covers in the Weihrauch degrees
von: Lempp, Steffen, et al.
Veröffentlicht: (2023)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
von: Huttegger, Simon M., et al.
Veröffentlicht: (2024)

Regressive versions of Hindman's Theorem
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2022)

On a Conjecture Regarding the Mouse Order for Weasels
von: Kruschewski, Jan, et al.
Veröffentlicht: (2022)

Proof-theoretic dilator and intermediate pointclasses
von: Jeon, Hanul
Veröffentlicht: (2025)

Induction on Dilators and Bachmann-Howard Fixed Points
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

Exploring the abyss in Kleene's computability theory
von: Sanders, Sam
Veröffentlicht: (2023)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
von: Massmann, Jayde Sylvie
Veröffentlicht: (2023)

Implications in pseudocomplemented and Stone lattices
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

Extending orders to types
von: Baglini, Lorenzo Luperi, et al.
Veröffentlicht: (2025)

Effective bases and notions of effective second countability in computable analysis
von: Brattka, Vasco, et al.
Veröffentlicht: (2025)

A generalization of Markov's approach to the continuity problem for Type 1 computable functions
von: Rauzy, Emmanuel
Veröffentlicht: (2023)

$Ψ$-Spaces and Semi-Proximality
von: Almontashery, Khulod, et al.
Veröffentlicht: (2024)

The Ramsey property and higher dimensional mad families
von: Schrittesser, David, et al.
Veröffentlicht: (2020)

Axiom Beta Implies Elementary Transfinite Recursion
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2026)

Decidability of theories of modules over tubular algebras
von: Gregory, Lorna
Veröffentlicht: (2016)