PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: No information about user quality Entry average rating: No information on entry rating
tacit extension (Definition)

Forthcoming



"tacit extension" is owned by Jon Awbrey.
(view preamble)

View style:

See Also: projection, relation composition, relation reduction, relation construction

Other names:  inverse projection
Log in to rate this entry.
(view current ratings)

There are 3 references to this entry.

This is version 1 of tacit extension, born on 2008-02-20.
Object id is 10294, canonical name is TacitExtension.
Accessed 169 times total.

Classification:
AMS MSC03B10 (Mathematical logic and foundations :: General logic :: Classical first-order logic)
 03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory )
 05B20 (Combinatorics :: Designs and configurations :: Matrices )
 05B30 (Combinatorics :: Designs and configurations :: Other designs, configurations)
 05C65 (Combinatorics :: Graph theory :: Hypergraphs)
 08A02 (General algebraic systems :: Algebraic structures :: Relational systems, laws of composition)
 68P15 (Computer science :: Theory of data :: Database theory)
 68R01 (Computer science :: Discrete mathematics in relation to computer science :: General)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

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