roleInTheory
P67072
predicate
Indicates the specific function, position, or contribution that an entity has within a particular theory or theoretical framework.
Observed surface forms (8)
- roleInProofTheory ×4
- analyzesRoleOf ×3
- roleInMind ×3
- roleInKierkegaard ×2
- modelTheoreticRole ×1
- roleInClassFieldTheory ×1
- roleInDualities ×1
- universalityRole ×1
Sample triples (29)
| Subject | Object |
|---|---|
|
Axiom of Extensionality in set theory
surface form:
Axiom of Extensionality
|
restricts possible interpretations of the membership relation via predicate surface "modelTheoreticRole" ⓘ |
|
Envy
surface form:
Envy (Inside Out 2)
|
emotion in Riley’s mind via predicate surface "roleInMind" ⓘ |
| Feferman–Schütte ordinal | ordinal of predicative analysis via predicate surface "roleInProofTheory" ⓘ |
| Feferman–Schütte ordinal | proof-theoretic ordinal of predicative arithmetic and analysis via predicate surface "roleInProofTheory" ⓘ |
| Gaussian orthogonal ensemble | prototype for universality of eigenvalue statistics via predicate surface "universalityRole" ⓘ |
| Herbrand base | basis for ground instantiations of clauses via predicate surface "roleInProofTheory" ⓘ |
| Herbrand base | underlies resolution-based theorem proving via predicate surface "roleInProofTheory" ⓘ |
|
Joy
surface form:
Joy (Inside Out)
|
leader of Riley's emotions via predicate surface "roleInMind" ⓘ |
|
Joy
surface form:
Joy (Inside Out)
|
primary emotion via predicate surface "roleInMind" ⓘ |
| Lucas supply function | foundation for new classical aggregate supply analysis ⓘ |
| M5-branes | unify various string theory branes via dualities via predicate surface "roleInDualities" ⓘ |
| Planck area | candidate minimal meaningful area scale ⓘ |
| Planck area | natural area unit in quantum gravity ⓘ |
| Playfair's axiom | distinguishes Euclidean geometry from non-Euclidean geometries ⓘ |
| Profits, Interest and Investment | interest in market economies via predicate surface "analyzesRoleOf" ⓘ |
| Profits, Interest and Investment | investment in market economies via predicate surface "analyzesRoleOf" ⓘ |
| Profits, Interest and Investment | profits in market economies via predicate surface "analyzesRoleOf" ⓘ |
| Sinn (German) | accounts for informative identity such as a=b with a≠b in sense ⓘ |
| Sinn (German) | explains cognitive significance of identity statements ⓘ |
| W′ bosons | constraint on beyond-Standard-Model parameter space ⓘ |
| W′ bosons | probe of new gauge interactions ⓘ |
| W′ bosons | test of left–right symmetry ⓘ |
| complete class theorem in decision theory | foundational result in decision theory ⓘ |
| idèle class group | Galois group of maximal abelian extension is isomorphic to a quotient of the idèle class group via predicate surface "roleInClassFieldTheory" ⓘ |
| stress–energy tensor | source of spacetime curvature ⓘ |
| stress–energy tensor | source term in Einstein field equations ⓘ |
| stress–energy tensor | source term in relativistic field equations ⓘ |
| the God-man | condition for salvation via predicate surface "roleInKierkegaard" ⓘ |
| the God-man | object of Christian faith via predicate surface "roleInKierkegaard" ⓘ |