Back and Forth Systems Witnessing Irreversibility
From MaRDI portal
Publication:6441354
arXiv2306.13966MaRDI QIDQ6441354
Publication date: 24 June 2023
Partial orders, general (06A06) Models with special properties (saturated, rigid, etc.) (03C50) Applications of model theory (03C98) Basic properties of first-order languages and structures (03C07)
This page was built for publication: Back and Forth Systems Witnessing Irreversibility