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

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

	Text (Full Text) ML-1996-12.text.ps.gz Download (81kB)
	Text (Abstract) ML-1996-12.abstract.txt Download (321B)

Abstract

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
URI:	https://eprints.illc.uva.nl/id/eprint/1380

Actions (login required)

View Item