Interpolation, preservation, and pebble games

Authors
Barwise, J van Benthem, J
Citation
J. Barwise et J. Van Benthem, Interpolation, preservation, and pebble games, J SYMB LOG, 64(2), 1999, pp. 881-903
Citations number
26
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
64
Issue
2
Year of publication
1999
Pages
881 - 903
Database
ISI
SICI code
0022-4812(199906)64:2<881:IPAPG>2.0.ZU;2-J
Abstract
Preservation and interpolation results are obtained for L-infinity omega an d 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.