:: Library Catalog

Cover Image

Saved in:

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

Similar Items

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
by: Damaj, Jad, et al.
Published: (2024)

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

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)

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)

Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)

A non-sequential arithmetical theory with pairing
by: Murwanashyaka, Juvenal
Published: (2025)

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

Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

On Presburger arithmetic extended with non-unary counting quantifiers
by: Habermehl, Peter, et al.
Published: (2022)

Axiomatization of Büchi arithmetic
by: Kovalyov, Konstantin
Published: (2024)

Graphings of arithmetical equivalence relations
by: Arant, Tyler
Published: (2025)

Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
by: Beeson, Michael
Published: (2021)

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

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space
by: Cole, Joshua
Published: (2024)

Iterating reflection over intuitionistic arithmetic
by: Frittaion, Emanuele
Published: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
by: Haase, Christoph, et al.
Published: (2024)

Analysis of logics with arithmetic
by: Benedikt, Michael, et al.
Published: (2025)

The modal logic of arithmetic potentialism and the universal algorithm
by: Hamkins, Joel David
Published: (2018)

Searching problems above arithmetical transfinite recursion
by: Suzuki, Yudai, et al.
Published: (2023)

There are more non-Cantorian sets than are Cantorian
by: Al-Johar, Zuhair
Published: (2025)

Completeness theorems for modal logic in second-order arithmetic
by: Shimomichi, Sho, et al.
Published: (2025)

Pathwise-random trees and models of second-order arithmetic
by: Barmpalias, George, et al.
Published: (2021)

On the representation of C-recursive integer sequences by arithmetic terms
by: Prunescu, Mihai, et al.
Published: (2024)

Higher arithmetic on the ordinals
by: Ducourtial, Adrian
Published: (2025)

Categoricity and non-arithmetic Fuchsian groups
by: Baldwin, John, et al.
Published: (2026)

Higher-order generalizations of stability and arithmetic regularity
by: Terry, C., et al.
Published: (2021)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
by: Kaneko, Yuzuki, et al.
Published: (2026)

The complexity of Presburger arithmetic with power or powers
by: Benedikt, Michael, et al.
Published: (2023)

Stabilizers and NIP arithmetic regularity
by: Conant, G., et al.
Published: (2025)

An arithmetic algebraic regularity lemma
by: Pillay, Anand, et al.
Published: (2024)