Recovering a structure from its tree of tuples QDTX6NXFEB

URI	`m2://res/QDTX6NXFEB`
Kind	preprint
Creators	David Gonzalez, Matthew Harrison-Trainor, Julia Knight
Date	2026-10-04
MSC	03-XX
Subjects	arxiv math.LO
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
5671Z63SFZ	definition	definition 2.2	arxiv
8G73FFF4C8	definition	definition 2.14	arxiv
Harrison-Trainor	definition	definition 4.2	arxiv
D87EWFMFNQ	statement	theorem 2.6	arxiv
DCKBMV9N2S	problem	problem 4.5	arxiv
DXGXAKJYW8	definition	definition 2.12	arxiv
Harrison-Trainor	statement	theorem 4.3	arxiv
HE6CV5WAJK	statement	corollary 1.2	arxiv
HVACDSEP7F	statement	proposition 2.9	arxiv
NJMTXSE20E	definition	definition 2.1	arxiv
P3TMJAXPZ8	statement	theorem	arxiv
PBTVS4HM42	definition	definition 2.15	arxiv
PXX3EBFCRP	statement	lemma 2.3	arxiv
QCA4632QTE	statement	lemma 4.4	arxiv
RXBDGSQZ15	definition	definition 2.7	arxiv
SBVZ1NAKSV	statement	theorem 1.1	arxiv
VB30EN0PHE	definition	definition 2.10	arxiv
XJK6K50HZA	definition	definition 2.13	arxiv
XNQGH155W5	statement	proposition 2.16	arxiv
Y1JG6S3CNB	statement	proposition 2.8	arxiv
Y2T9PY4A14	statement	theorem 4.1	arxiv