:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Harrison-Trainor, Matthew, Haydar, Eissa
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2407.20215
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)

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
by: Damaj, Jad, 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)

Two results on complexities of decision problems of groups
by: Andrews, Uri, 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)

Towards Trans-Exponential O-minimal Expansion of $(\mathbb{R},+,\cdot, 0, 1 <)$
by: Fu, Yayi
Published: (2026)

Degree spectra of homeomorphism types of compact Polish spaces
by: Hoyrup, Mathieu, et al.
Published: (2020)

Stereographic compactification and affine bi-Lipschitz homeomorphisms
by: Grandjean, Vincent, et al.
Published: (2023)

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

Locally approximating groups of homeomorphisms of manifolds
by: Koberda, Thomas, et al.
Published: (2024)

Effective Versions of Strong Measure Zero
by: Rayman, Matthew
Published: (2025)

First order rigidity of homeomorphism groups of manifolds
by: Kim, Sang-hyun, et al.
Published: (2023)

Set theory, logic, and homeomorphism groups of manifolds
by: Hanson, James E., et al.
Published: (2025)

A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories
by: Vienney, Jean-Baptiste
Published: (2023)

On the linear complexity of subsets of $\mathbb{F}_p^n$ bounded $\textrm{VC}_2$-dimension
by: Sheats, Hannah, et al.
Published: (2025)

On the quadratic complexity of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC_{2}}$-dimension
by: Terry, C., et al.
Published: (2025)

There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence
by: Fujita, Masato
Published: (2024)

Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
by: Koberda, Thomas, et al.
Published: (2023)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

Partitions of $\mathbb{R}^3$ into unit circles with no well-ordering of the reals
by: Fatalini, Azul
Published: (2025)

An anti-classification theorem for minimal homeomorphisms on the torus
by: Peng, Bo
Published: (2025)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)

Weakly Boolean maximal chains of homeomorphic topologies
by: Kurilić, Miloš, et al.
Published: (2024)

Computable Gelfand Duality
by: Burton, Peter, et al.
Published: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

Proof complexity of positive branching programs
by: Das, Anupam, et al.
Published: (2021)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
by: Ma, Zhifeng, et al.
Published: (2024)

More on the indivisibility of $\mathbb{Q}$
by: Pauly, Arno
Published: (2024)

A Countable, Dense, Dedekind-Complete Subset of $\mathbb{R}$ Constructed by Extending $\mathbb{Q}$ via Simultaneous Marking of Closed Intervals with Rational Endpoints
by: Vlahovic, Slavica Mihaljevic, et al.
Published: (2021)

The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$
by: Schlutzenberg, Farmer
Published: (2019)

Decomposition horizons and a characterization of stable hereditary classes of graphs
by: Braunfeld, Samuel, et al.
Published: (2022)