ML-1996-12: Interpolation, Preservation, and Pebble Games

ML-1996-12: Barwise, Jon and van Benthem, Johan (1996) Interpolation, Preservation, and Pebble Games. [Report]

[img] Text (Full Text)

Download (81kB)
[img] Text (Abstract)

Download (321B)


Preservation and interpolation results are obtained for L_{\infty\omega} and sublogics L \subseteq L_{\infty\omega} such that equivalence in L can be characterized by suitable back­and­forth conditions on sets of partial isomorphisms.

Item Type: Report
Report Nr: ML-1996-12
Series Name: Mathematical Logic and Foundations (ML)
Year: 1996
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item