Cover Image

Ranking theories via encoded $β$-models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jeon, Hanul, Lutz, Patrick, Pakhomov, Fedor, Walsh, James
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
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)

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

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

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

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)

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

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)

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)

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)

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)

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)

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

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

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

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

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

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)

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

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)

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

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

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

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

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)

Characterizing fragments of collection principle in set theory with model theoretic properties
by: Chen, Junhong
Published: (2025)

Galois theory, automorphism groups of prime models, and the Picard-Vessiot closure
by: Meretzky, David, et al.
Published: (2026)

Randomness via infinite computation and effective descriptive set theory
by: Carl, Merlin, et al.
Published: (2016)