REVIEW 1 major objections 2 cited by
Trace definability I: preservation and characterizations
T0 review · 1 major / 0 minor · reviewed 2026-05-22 · grok-4.3
Pith's one-line read Trace definability is a weakening of definability under which some classification-theoretic properties are preserved and can be characterized.
desk verdict Walsberg introduces trace definability as a weakening of definability and maps its preservation and characterization behavior for classification-theoretic properties. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Trace definability, a weakening of ordinary definability between first-order structures.
What would settle it
A specific classification-theoretic property that is preserved under trace definability yet lacks a characterization in terms of trace definability, or one that has such a characterization but fails to be preserved.
Extended reading notes
Core claim
We introduce a notion of weak definability of first order structures, show that various classification-theoretic properties are or are not preserved under it, and that the properties which are preserved can also be characterized in terms of it.
Load-bearing premise
The introduced notion of trace definability is a coherent and useful weakening of ordinary definability that interacts meaningfully with the classification-theoretic properties under consideration.
Editorial extensions
If this is right
- Properties preserved under trace definability admit characterizations expressed using trace definability.
- Certain classification properties fail to be preserved, marking the limits of invariance under this weakening.
- Trace definability supplies a single method for establishing both preservation and characterization results.
Reading between the lines
- The same preservation and characterization pattern may appear with other weakenings of definability in related logical settings.
- These results could guide the search for invariants that remain stable when structures are obtained via trace definable expansions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a notion of trace definability as a weakening of ordinary definability for first-order structures. It claims to establish which classification-theoretic properties are preserved (and which are not) under trace definability, and to give characterizations of the preserved properties in terms of the new notion.
Significance. If the preservation and characterization results are correct, the work would supply a new technical tool in model theory for studying controlled weakenings of definability and their interaction with classification invariants. This could be useful for distinguishing structures where full definability is too restrictive.
major comments (1)
- Abstract: the central claims (preservation of some properties, non-preservation of others, and characterizations) cannot be assessed because no definitions of trace definability, no statements of the relevant classification-theoretic properties, no theorems, and no proofs or counterexamples are visible in the supplied text.
Simulated Author's Rebuttal
We thank the referee for their report. We address the single major comment below.
read point-by-point responses
-
Referee: Abstract: the central claims (preservation of some properties, non-preservation of others, and characterizations) cannot be assessed because no definitions of trace definability, no statements of the relevant classification-theoretic properties, no theorems, and no proofs or counterexamples are visible in the supplied text.
Authors: The full manuscript contains the definition of trace definability (as a weakening of ordinary definability), the specific classification-theoretic properties under consideration, the precise statements of the preservation and non-preservation theorems, the characterization theorems, and all proofs and counterexamples. The abstract was written to be concise, but we agree that it does not supply sufficient detail for the claims to be evaluated from the abstract alone. We will revise the abstract to include a brief outline of the definition, the main preservation/non-preservation results, and the characterizations. revision: yes
Circularity Check
No significant circularity
full rationale
The paper introduces a new definition of trace definability for first-order structures and then proves preservation and characterization theorems for various classification-theoretic properties under this notion. No fitted parameters, predictions by construction, self-citations as load-bearing premises, or ansatzes smuggled via prior work appear in the abstract or described content. The central claims are standard mathematical consequences derived from the introduced definition, making the work self-contained with independent content.
Assumptions & free parameters
Cite this review
Pith. "Pith review of Trace definability I: preservation and characterizations." pith.science (2026). https://pith.science/paper/RLL5NXXZ
@misc{pith2026250405566,
author = {Pith},
title = {Pith review of: Trace definability I: preservation and characterizations},
year = {2026},
howpublished = {\url{https://pith.science/paper/RLL5NXXZ}},
note = {Machine review of arXiv:2504.05566}
}
read the original abstract
We introduce a notion of weak definability of first order structures, show that various classification-theoretic properties are or are not preserved under it, and that the properties which are preserved can also be characterized in terms of it.
Forward citations
Cited by 2 Pith papers
-
Taking model-complete cores
Core companions preserve stability, NIP, simplicity, and NSOP_k, but the classes of structures interpretable over (N;=) and (Q;<) are not closed under taking core companions.
-
Externally definable fsg groups in NIP theories
Every fsg group externally definable in an NIP structure is definably isomorphic to a group interpretable in that structure.
Reviewed May 22, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.