Pith. sign in

REVIEW 1 cited by

Limits, Regularity and Removal for Finite Structures

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1412.8084 v1 pith:HFWDSIJE submitted 2014-12-27 math.LO math.CO

classification math.LOmath.CO
keywords lemmalimitsregularityremovalspacesexistencefiniteknown
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Our work builds on known results for k-uniform hypergraphs including the existence of limits, a Regularity Lemma and a Removal Lemma. Our main tool here is a theory of measures on ultraproduct spaces which establishes a correspondence between ultraproduct spaces and Euclidean spaces. First we show the existence of a limit object for convergent sequences of relational structures and as a special case, we retrieve the known limits for graphs and digraphs. Then we extend this notion to finite models of a fixed universal theory. We also state and prove a Regularity Lemma and a Removal Lemma. We will discuss connections between our work and Razborov's flag algebras as well.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Density of rainbow triangles and properly colored $K_4$'s

    math.CO 2025-11 conditional novelty 6.0 of 10

    A graph with R red, G green, B blue edges contains at most ¼(RGB)^{2/3} properly colored K4s, with equality only for balanced blowups of a properly colored K4; the known rainbow-triangle bound √(2RGB) receives new fla...

Pith tools