Back and Forth Systems of Condensations
From MaRDI portal
Publication:6303736
arXiv1807.00338MaRDI QIDQ6303736
Publication date: 1 July 2018
Partial orders, general (06A06) Models with special properties (saturated, rigid, etc.) (03C50) Other infinitary logic (03C75) Other aspects of forcing and Boolean-valued models (03E40) Basic properties of first-order languages and structures (03C07)
This page was built for publication: Back and Forth Systems of Condensations