:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Abd-Aldaim, A., Conant, G., Terry, C.
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2305.13111
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Higher-arity distality and forking triviality
by: Tong, Mervyn
Published: (2026)

Stable functions and Følner's Theorem
by: Conant, Gabriel
Published: (2024)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
by: Oda, Yukihiro, et al.
Published: (2022)

Trace definability IV: higher arity notions
by: Walsberg, Erik
Published: (2026)

Indiscernible extraction at small large cardinals from a higher-arity stability notion
by: Hanson, James E.
Published: (2025)

Three surprising instances of dividing
by: Conant, Gabriel, et al.
Published: (2023)

Averages of hypergraphs and higher arity stability
by: Chernikov, Artem, et al.
Published: (2025)

Arbitrary-arity Tree Automata and QCTL
by: Laroussinie, François, et al.
Published: (2024)

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

An analytic version of stable arithmetic regularity
by: Conant, Gabriel, et al.
Published: (2024)

Continuous stable regularity
by: Chavarria, Nicolas, et al.
Published: (2021)

Compactifications of pseudofinite and pseudo-amenable groups
by: Conant, Gabriel, et al.
Published: (2023)

Higher-arity PAC learning, VC dimension and packing lemma
by: Chernikov, Artem, et al.
Published: (2025)

Some model-theoretic consequences of high-arity uniform convergence, part I
by: Coregliano, Leonardo N., et al.
Published: (2026)

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

Growth of regular partitions 4: strong regularity and the pairs partition
by: Terry, C.
Published: (2024)

Growth of regular partitions 3: strong regularity and the vertex partition
by: Terry, C.
Published: (2024)

Growth of regular partitions 2: Weak regularity
by: Terry, C.
Published: (2024)

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

High-arity PAC learning via exchangeability
by: Coregliano, Leonardo N., et al.
Published: (2024)

Higher order differential calculus in mathlib
by: Gouëzel, Sébastien
Published: (2025)

Definiteness properties of first-order schemes
by: Gruza, Piotr, et al.
Published: (2025)

Higher-order bialgebraic semantics
by: Goncharov, Sergey, et al.
Published: (2024)

The structure of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC}_2$-dimension
by: Terry, C., 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)

Higher-order circuits
by: Wilson, Matt
Published: (2026)

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

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
by: Dudenhefner, Andrej
Published: (2026)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

Higher-order Kripke models for intuitionistic and non-classical modal logics
by: Barroso-Nascimento, Victor
Published: (2025)

Impredicative Encodings of (Higher) Inductive Types
by: Awodey, Steve, et al.
Published: (2018)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
by: Alrahman, Yehia Abd, et al.
Published: (2025)

A rank function for Fra\"ıssé classes and the rank property
by: López-Callejas, Carlos, et al.
Published: (2026)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

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

Approximations of the strict order property
by: Mutchnik, Scott
Published: (2025)