TY  - RPRT
TI  - Model-theoretic Forcing in Transition Algebra
AU  - Go Hashimoto
AU  - Daniel Găină
PY  - 2025
DO  - 10.4230/lipics.mfcs.2025.55
UR  - https://arxiv.org/abs/2506.22828
ID  - 2506.22828
ER  -