universal structure


Let L be a first order language, and let R be an elementary class of L-structuresMathworldPlanetmath. Let κ be a cardinal. Rκ be the set of structures from R with cardinality less than or equal to κ.

Let MRκ. Suppose that for every NRκ there is an embeddingPlanetmathPlanetmath of N into M. Then we say M is universalPlanetmathPlanetmath.

Title universal structure
Canonical name UniversalStructure
Date of creation 2013-03-22 13:23:09
Last modified on 2013-03-22 13:23:09
Owner Timmy (1414)
Last modified by Timmy (1414)
Numerical id 4
Author Timmy (1414)
Entry type Definition
Classification msc 03C50
Classification msc 03C52
Defines universal