Fraïssé limit

Method in mathematical logic

In mathematical logic, specifically in the discipline of model theory, the Fraïssé limit is a method used to construct (infinite) mathematical structures from their (finite) substructures. It is a special example of the more general concept of a direct limit in a category. The technique was developed in the 1950s by its namesake, French logician Roland Fraïssé.

This keyword could refer to multiple things. Here are some suggestions: