2000 character limit reached
An extension of the Ehrenfeucht-Fraisse game for first order logics augmented with Lindstrom quantifiers
Published 22 Oct 2015 in math.LO | (1510.06581v1)
Abstract: We propose an extension of the Ehrenfeucht-Fraisse game able to deal with logics augmented with Lindstrom quantifiers. We describe three different games with varying balance between simplicity and ease of use.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.