Paper Info
Title
Interpolation, Preservation, and Pebble Games
Abstract
Preservation and interpolation results are obtained for L-infinity omega and sublogics L subset of or equal to L-infinity omega such that equivalence in L can be characterized by suitable back-and forth conditions on sets of partial isomorphisms.
Year
DOI
Venue
1999
10.2307/2586507
JOURNAL OF SYMBOLIC LOGIC
DocType
Volume
Issue
Journal
64
2
ISSN
Citations 
PageRank 
0022-4812
10
1.90
References 
Authors
2
2
Name
Order
Citations
PageRank
Jon Barwise126755.55
Johan van Benthem21181107.83