PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very low Entry average rating: No information on entry rating
[parent] example of a universal structure (Example)
ref

"example of a universal structure" is owned by uzeromay. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: homogeneous, $\kappa$-categorical, differential equation, example of definable type, random graph (infinite)

Also defines:  back and forth

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: isomorphic, similar, range, successor, domain, iterate, enumeration, disjoint, argument, type, homogeneous, universal, necessary, substructures, chain, increasing, union, countable, map, image, element, member, embedding, induced, structure, cardinality, induction, proof, finite, complete theory, dense linear orders, theory, endpoints, iff, relation, linear order, sentences, binary relation, first order language
There is 1 reference to this entry.

This is version 12 of example of a universal structure, born on 2003-01-24, modified 2007-02-08.
Object id is 3925, canonical name is ExampleOfUniversalStructure.
Accessed 6652 times total.

Classification:
AMS MSC03C50 (Mathematical logic and foundations :: Model theory :: Models with special properties )
 03C52 (Mathematical logic and foundations :: Model theory :: Properties of classes of models)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)