Finite-on-Top-of-Temporal CSPs in Fixed-Point Logic ZXZN6RMN38

URI	`m2://res/ZXZN6RMN38`
Kind	preprint
Creators	Manuel Bodirsky, Philipp A. Grzywaczyk
Date	2026-10-13
MSC	68Q19
Subjects	arxiv cs.LO, 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
10KPQ85GAW	example	example 6	arxiv
2EBBBB62KQ	statement	lemma 13	arxiv
66TCNMAPX9	statement	proposition 14	arxiv
ASKPFMVK3M	example	example 1	arxiv
Finite cycle consistency	statement	theorem 11	arxiv
B4ZZ195A25	definition	definition 17	arxiv
CX0ZDJDKZM	statement	proposition 9	arxiv
DPR062G8TK	statement	proposition 25	arxiv
EFNMFBGZAS	statement	theorem 21	arxiv
EGBG6M0HY0	statement	theorem 7	arxiv
F0ACZTV8CJ	statement	proposition 26	arxiv
F268VYAC3H	example	example 4	arxiv
JF4W8G17RE	statement	theorem 10	arxiv
K8XGZQ8MAR	definition	definition 3	arxiv
M20A5EDNCC	statement	proposition 23	arxiv
MFVMRSH9K0	statement	theorem 16	arxiv
MX3JNPEFS3	statement	lemma 19	arxiv
NG6TXCSGS2	statement	proposition 22	arxiv
Q494CDC12N	statement	lemma 18	arxiv
Q5XKCPA35F	statement	lemma 12	arxiv
R24S3C3PRD	statement	lemma 24	arxiv
SQ15K67VDZ	example	example 5	arxiv
SWTF8VS2TR	statement	lemma 15	arxiv
TZ8DGF0YX6	statement	theorem 8	arxiv
VQC6TW3QRN	example	example 2	arxiv