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: Medium Entry average rating: No information on entry rating
universal relation (Definition)

If $\Phi$ is a class of $n$ ary relations with $\vec{x}$ as the only free variables, an $n+1$ ary formula $\psi$ is universal for $\Phi$ if for any $\phi\in\Phi$ there is some $e$ such that $\psi(e,\vec{x})\leftrightarrow\phi(\vec{x})$ In other words, $\psi$ can simulate any element of $\Phi$

Similarly, if $\Phi$ is a class of function of $\vec{x}$ a formula $\psi$ is universal for $\Phi$ if for any $\phi\in\Phi$ there is some $e$ such that $\psi(e,\vec{x})=\phi(\vec{x})$




"universal relation" is owned by Henry.
(view preamble | get metadata)

View style:

Other names:  universal
Also defines:  universal function

Attachments:
universal relations exist for each level of the arithmetical hierarchy (Theorem) by Henry
Log in to rate this entry.
(view current ratings)

Cross-references: function, formula, free variables, relations, class
There are 15 references to this entry.

This is version 3 of universal relation, born on 2002-08-23, modified 2002-08-24.
Object id is 3342, canonical name is UniversalFormula.
Accessed 10482 times total.

Classification:
AMS MSC03B10 (Mathematical logic and foundations :: General logic :: Classical first-order logic)

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

No messages.

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