Concepedia

Interpolation, preservation, and pebble games

Jon Barwise, Johan van Benthem

Journal of Symbolic Logic · 1999 · 52 citations · 10 references

DOI

Concepts

Abstract

Abstract Preservation and interpolation results are obtained for L ∞ω and sublogics ⊆ L ∞ω such that equivalence in can be characterized by suitable back-and-forth conditions on sets of partial isomorphisms.

References

10

Modal Languages and Bounded Fragments of Predicate Logic

Hajnal Andréka, Istvàn Németi, Johan van Benthem · Journal of Philosophical Logic · 1998 · 601 citations

, , +11

Johan van Benthem. Modal logic and classical logic. Indices, no. 3. Bibliopolis, Naples 1985 (©1983), also distributed by Humanities Press, Atlantic Highlands, N.J., 234 pp.

R. A. Bull · Journal of Symbolic Logic · 1987 · 329 citations

, , +8

Axioms for abstract model theory

K. Jon Barwise · Annals of Mathematical Logic · 1974 · 202 citations

, , +10

On Moschovakis closure ordinals

Jon Barwise · Journal of Symbolic Logic · 1977 · 140 citations

, , +2

Feasible computation through model theory

Anuj Dawar · 1993 · 61 citations

, , +12