Ultraproducts as a tool for first-order inexpressibility in the finite and infinite
Dittmann, Philip
Original · EN
Ultraproducts are a well-known tool in the classical model theory of first-order logic. We explore their uses in the context of finite model theory.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.