Abstract
In this section we show that for some fragments and extensions of first-order logic there are corresponding variants of the Ehrenfeucht-Fraïssé method. First we deal with second-order logic, mainly with monadic second-order logic, then with infinitary languages, and finally with restrictions of these infinitary languages and of first-order language to fragments consisting of formulas which only contain a fixed finite number of variables.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ebbinghaus, HD., Flum, J. (1995). More on Games. In: Finite Model Theory. Perspectives in Mathematical Logic. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-03182-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-662-03182-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-03184-1
Online ISBN: 978-3-662-03182-7
eBook Packages: Springer Book Archive