The Age of a Structure and Fraïssé Classes

The Age of a Structure and Fraïssé Classes.

Type

Web resource

Intellectual base

Web

Link

https://math.iisc.ac.in/~gadgil/PfsProgs25doc/Mathlib/ModelTheory/Fraisse.html

Cited by

1 citation across 1 artifact.

Domain-specific

• Age (Model Theory)
  • In a purely relational language with no function symbols, a substructure generated by finitely many elements is finite; with functions, finite generation need not imply a finite underlying set.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:a9dbf4aac5b6 · see in the full table