Back and Forth Systems of Condensations

arXiv1807.00338MaRDI QIDQ6303736

Miloš S. Kurilić

Publication date: 1 July 2018

Mathematics Subject Classification ID

06A06: Partial orders, general

03C50: Models with special properties (saturated, rigid, etc.)

03C75: Other infinitary logic

03E40: Other aspects of forcing and Boolean-valued models

03C07: Basic properties of first-order languages and structures