VC-dimensions of short Presburger formulas

DOI10.1007/s00493-018-4004-xzbMath1449.03013arXiv1710.04171OpenAlexW2963080453WikidataQ128294990 ScholiaQ128294990MaRDI QIDQ2338619

Igor Pak, Danny Nguyen

Publication date: 21 November 2019

Published in: Combinatorica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.04171

zbMATH Keywords

Presburger formulasVC-dimensions

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Classification theory, stability, and related concepts in model theory (03C45)

This page was built for publication: VC-dimensions of short Presburger formulas