:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Harrison-Trainor, Matthew
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2505.23613
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Characterizing relative decidability in terms of model completeness
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2026)

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

Scott Spectral Gaps are Bounded for Linear Orderings
von: Gonzalez, David, et al.
Veröffentlicht: (2024)

Scott spectral gaps for trees are bounded
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2026)

Computable learning of natural hypothesis classes
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2024)

Back-and-forth equivalent group von Neumann algebras
von: Goldbring, Isaac, et al.
Veröffentlicht: (2024)

The Logic of Cardinality Comparison Without the Axiom of Choice
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2022)

Optimal Syntactic Definitions of Back-and-Forth Types
von: Chen, Ruiyuan, et al.
Veröffentlicht: (2025)

On the computability of optimal Scott sentences
von: Alvir, Rachael, et al.
Veröffentlicht: (2025)

Scott analysis, linear orders and almost periodic functions
von: Gonzalez, David, et al.
Veröffentlicht: (2024)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2022)

Iterated Priority Arguments in Descriptive Set Theory
von: Day, Adam, et al.
Veröffentlicht: (2022)

Definable sets in Skolem arithmetic
von: Kamiński, Łukasz
Veröffentlicht: (2025)

A non-sequential arithmetical theory with pairing
von: Murwanashyaka, Juvenal
Veröffentlicht: (2025)

Two results on complexities of decision problems of groups
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
von: Hamkins, Joel David
Veröffentlicht: (2022)

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

On Presburger arithmetic extended with non-unary counting quantifiers
von: Habermehl, Peter, et al.
Veröffentlicht: (2022)

Axiomatization of Büchi arithmetic
von: Kovalyov, Konstantin
Veröffentlicht: (2024)

Graphings of arithmetical equivalence relations
von: Arant, Tyler
Veröffentlicht: (2025)

Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
von: Beeson, Michael
Veröffentlicht: (2021)

Dichotomy results for classes of countable graphs
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2025)

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space
von: Cole, Joshua
Veröffentlicht: (2024)

Iterating reflection over intuitionistic arithmetic
von: Frittaion, Emanuele
Veröffentlicht: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

Analysis of logics with arithmetic
von: Benedikt, Michael, et al.
Veröffentlicht: (2025)

The modal logic of arithmetic potentialism and the universal algorithm
von: Hamkins, Joel David
Veröffentlicht: (2018)

Searching problems above arithmetical transfinite recursion
von: Suzuki, Yudai, et al.
Veröffentlicht: (2023)

There are more non-Cantorian sets than are Cantorian
von: Al-Johar, Zuhair
Veröffentlicht: (2025)

Completeness theorems for modal logic in second-order arithmetic
von: Shimomichi, Sho, et al.
Veröffentlicht: (2025)

Pathwise-random trees and models of second-order arithmetic
von: Barmpalias, George, et al.
Veröffentlicht: (2021)

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

Higher arithmetic on the ordinals
von: Ducourtial, Adrian
Veröffentlicht: (2025)

Categoricity and non-arithmetic Fuchsian groups
von: Baldwin, John, et al.
Veröffentlicht: (2026)

Higher-order generalizations of stability and arithmetic regularity
von: Terry, C., et al.
Veröffentlicht: (2021)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
von: Kaneko, Yuzuki, et al.
Veröffentlicht: (2026)

The complexity of Presburger arithmetic with power or powers
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Stabilizers and NIP arithmetic regularity
von: Conant, G., et al.
Veröffentlicht: (2025)

An arithmetic algebraic regularity lemma
von: Pillay, Anand, et al.
Veröffentlicht: (2024)