:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Damaj, Jad, Harrison-Trainor, Matthew
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2412.01071
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)

Measuring the complexity of characterizing $[0, 1]$, $S^1$, and $\mathbb{R}$ up to homeomorphism
by: Harrison-Trainor, Matthew, et al.
Published: (2024)

Scott Spectral Gaps are Bounded for Linear Orderings
by: Gonzalez, David, et al.
Published: (2024)

Characterizing relative decidability in terms of model completeness
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

Scott spectral gaps for trees are bounded
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

Computable learning of natural hypothesis classes
by: Harrison-Trainor, Matthew, et al.
Published: (2024)

Back-and-forth equivalent group von Neumann algebras
by: Goldbring, Isaac, et al.
Published: (2024)

The Logic of Cardinality Comparison Without the Axiom of Choice
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Optimal Syntactic Definitions of Back-and-Forth Types
by: Chen, Ruiyuan, et al.
Published: (2025)

On the computability of optimal Scott sentences
by: Alvir, Rachael, et al.
Published: (2025)

Scott analysis, linear orders and almost periodic functions
by: Gonzalez, David, et al.
Published: (2024)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)

Localic Relations with Open Cones
by: van der Schaaf, Nesta
Published: (2026)

Two results on complexities of decision problems of groups
by: Andrews, Uri, et al.
Published: (2024)

Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$
by: Gerdes, Peter M.
Published: (2025)

Games with $ω$-Automatic Preference Relations
by: Bruyère, Véronique, et al.
Published: (2025)

A Solovay-like model at $\aleph_ω$
by: Poveda, Alejandro, et al.
Published: (2025)

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
by: Hoffelner, Stefan
Published: (2025)

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

AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
by: Blue, Douglas, et al.
Published: (2024)

$ω$-Regular Energy Problems
by: Dziadek, Sven, et al.
Published: (2022)

Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
by: Benhamou, Tom, et al.
Published: (2024)

Equational theory of ordinals with addition and left multiplication by $ω$
by: Choffrut, Christian
Published: (2024)

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

Dichotomy results for classes of countable graphs
by: Cipriani, Vittorio, et al.
Published: (2025)

A Hierarchy of Supermartingales for $ω$-Regular Verification
by: Kura, Satoshi, et al.
Published: (2025)

Integration in Cones
by: Ehrhard, Thomas, et al.
Published: (2022)

Degrees of incomputability, realizability and constructive reverse mathematics
by: Kihara, Takayuki
Published: (2020)

Complete $ω$-Regular Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
by: Aksornthong, Navin, et al.
Published: (2023)

A small ultrafilter number at all $\aleph_3\leqκ<\aleph_ω$
by: Eshkol, Julian
Published: (2025)

Computational Paths Form a Weak ω-Groupoid
by: Ramos, Arthur F., et al.
Published: (2025)

Nonvanishing Higher Derived Limits without $w\diamondsuit_{ω_1}$
by: Bannister, Nathaniel
Published: (2025)

Club Stationary Reflection and other Combinatorial Principles at $\aleph_{ω+2}$
by: Gilton, Thomas, et al.
Published: (2022)

A Fibrational Perspective on Differential Linear Logic
by: Koleilat, Jad
Published: (2026)

Multi-clocked Guarded Recursion Beyond ω
by: Møgelberg, Rasmus Ejlers
Published: (2025)

Structures preserved by primitive actions of $S_ω$
by: Bodirsky, Manuel, et al.
Published: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
by: Lyon, Tim S.
Published: (2023)