:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Jeon, Hanul, Lutz, Patrick, Pakhomov, Fedor, Walsh, James
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2503.20470
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)

Very large set axioms over constructive set theories
by: Jeon, Hanul, et al.
Published: (2022)

On Separating Wholeness Axioms
by: Jeon, Hanul
Published: (2023)

Speedups for Presburger Arithmetic and Real Closed Fields
by: Pakhomov, Fedor, et al.
Published: (2026)

Martin's measurable dilator
by: Jeon, Hanul
Published: (2025)

Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)

On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)

The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)

Generalized Higman's Theorem and iterated ideals
by: Pakhomov, Fedor, et al.
Published: (2025)

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

Modal definability in Kripke's theory of truth
by: Walsh, James
Published: (2024)

On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

Well-quasi-orders on finite trees and transfinite sequences
by: Chopra, Alakh Dhruv, et al.
Published: (2026)

Automatic structures and the problem of natural well-orderings
by: Beklemishev, Lev D., et al.
Published: (2024)

Martin's conjecture for regressive functions on the hyperarithmetic degrees
by: Lutz, Patrick
Published: (2023)

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

Descending sequences in reflection hierarchies
by: Łełyk, Mateusz, et al.
Published: (2025)

A classification of incompleteness statements
by: Towsner, Henry, et al.
Published: (2024)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)

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

Incompleteness in Quantified Conditional Logic
by: Kocurek, Alexander W., et al.
Published: (2026)

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

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
by: Benedikt, Michael, et al.
Published: (2022)

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

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Some model theory of the Heisenberg group
by: Frącek, Maciej, et al.
Published: (2025)

Some model theory of quadratic geometries
by: Kestner, Charlotte, et al.
Published: (2024)

Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)

A short note on model theory of C((t))
by: Zhang, Zhentao
Published: (2025)

The model theory of perfectoid fields [after Jahnke and Kartas]
by: Anscombe, Sylvy
Published: (2026)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

An algebraic theory of ω-regular languages, via μν-expressions
by: Das, Anupam, et al.
Published: (2025)

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

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)