Copertina

Ranking theories via encoded $β$-models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Jeon, Hanul, Lutz, Patrick, Pakhomov, Fedor, Walsh, James
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

On Separating Wholeness Axioms
di: Jeon, Hanul
Pubblicazione: (2023)

Martin's measurable dilator
di: Jeon, Hanul
Pubblicazione: (2025)

Proof-theoretic dilator and intermediate pointclasses
di: Jeon, Hanul
Pubblicazione: (2025)

On a cofinal Reinhardt embedding without Powerset
di: Jeon, Hanul
Pubblicazione: (2024)

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

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

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

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

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

Linear Orders in Presburger Arithmetic
di: Pakhomov, Fedor, et al.
Pubblicazione: (2022)

Feferman's completeness theorem
di: Pakhomov, Fedor, et al.
Pubblicazione: (2024)

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

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

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

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

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

A classification of incompleteness statements
di: Towsner, Henry, et al.
Pubblicazione: (2024)

Nonembeddings of Combinatory Algebras
di: Lutz, Patrick, et al.
Pubblicazione: (2026)

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

On the hierarchy of natural theories
di: Walsh, James
Pubblicazione: (2021)

Borel graphable equivalence relations
di: Arant, Tyler, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

Reflection ranks via infinitary derivations
di: Walsh, James
Pubblicazione: (2021)

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

Implicative models of set theory
di: Maschio, Samuele, et al.
Pubblicazione: (2023)

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

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

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

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

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

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