:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Nayir, Ebru, Özsahakyan, Melissa
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2604.27816
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

VC-Density in Pairs of Ordered Vector Space
by: Günaydın, Ayhan, et al.
Published: (2024)

Stably Embedded Pairs of Ordered Abelian Groups
by: Hils, Martin, et al.
Published: (2023)

Cross-Sections of Divisible Abelian $o$-Groups via Tame Pairs
by: Piepenborn, Ricardo Palomino
Published: (2025)

A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
by: Stokes-Waters, John
Published: (2026)

Strongly Dependent Ordered Abelian Groups and Henselian Fields
by: Halevi, Yatir, et al.
Published: (2017)

Subvarieties of pointed Abelian l-groups
by: Jankovec, Filip
Published: (2025)

Continuous Edge Chromatic Numbers of Abelian Group Actions
by: Gao, Su, et al.
Published: (2024)

Characterizing Finitely Based Abelian Mal'cev Algebras
by: Muro, Mateo
Published: (2024)

Definable Functions to Quotients in Ordered Abelian Groups
by: Wells, Harper
Published: (2026)

Approximate subgroups with bounded VC-dimension
by: Conant, Gabriel, et al.
Published: (2020)

The Ideal Membership Problem and Abelian Groups
by: Bulatov, Andrei A., et al.
Published: (2022)

Distality in Ordered Abelian Groups
by: Okura, Koki
Published: (2026)

Teaching Divisibility and Binomials with Coq
by: Boldo, Sylvie, et al.
Published: (2024)

A note on strong Erdős-Hajnal for graphs with bounded VC-minimal complexity
by: Fu, Yayi
Published: (2023)

Growth of regular partitions 1: Improved bounds for small slicewise VC-dimension
by: Terry, C.
Published: (2024)

VC-dimension of generalized progressions in some nonabelian groups
by: Conant, Gabriel, et al.
Published: (2025)

The structure of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC}_2$-dimension
by: Terry, C., et al.
Published: (2025)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
by: Jovanovic, Dejan
Published: (2026)

Null Measurability at the Symmetrization Interface in VC Learning
by: Gupta, Dhruv
Published: (2026)

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)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

Borel Combinatorics of Abelian Group Actions
by: Gao, Su, et al.
Published: (2024)

On Some Systems of Equations in Abelian Varieties
by: Gallinaro, Francesco
Published: (2022)

Scott Complexity of Reduced Abelian $p$-Groups
by: Alvir, Rachael, et al.
Published: (2024)

Models of Abelian varieties over valued fields, using model theory
by: Halevi, Yatir
Published: (2023)

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
by: Grochow, Joshua A., et al.
Published: (2022)

Density cardinals
by: Brech, Christina, et al.
Published: (2024)

Discrete sets definable in strong expansions of ordered Abelian groups
by: Dolich, Alfred, et al.
Published: (2022)

Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
by: Işık, İlker, et al.
Published: (2024)

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
by: Işık, İlker, et al.
Published: (2024)

Higher-Order Constrained Dependency Pairs for (Universal) Computability
by: Guo, Liye, et al.
Published: (2024)

Elementarity of Subgroups and Complexity of Theories for Profinite Groups
by: Block, Jason
Published: (2024)

Semi-abelian by Design: Johnstone Algebras Unifying Implication and Division
by: Forsman, David
Published: (2025)

A Dependency Pair Framework for Relative Termination of Term Rewriting
by: Kassing, Jan-Christoph, et al.
Published: (2024)

Cofinal families of finite VC-dimension
by: Ben-Neria, Omer, et al.
Published: (2025)

Model Theory of Hilbert Spaces with a Discrete Group Action
by: Berenstein, Alexander, et al.
Published: (2024)

Residually Dominated Groups in Henselian Valued Fields of Equicharacteristic Zero
by: Mutlu, Dicle, et al.
Published: (2025)

On the structure of balanced residuated partially ordered monoids
by: Bonzio, Stefano, et al.
Published: (2024)

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
by: Kassing, Jan-Christoph, et al.
Published: (2024)