Facts
Citation
URLhttps://ncatlab.org/nlab/show/Higman%27s+embedding+theorem
Sources
Higman's embedding theorem (nLab)
Page textQuote, Page text
Higman proved an important result in group theory that brings together in an intriguing way concepts from computability theory and finite presentability .
Claims Backed By This Source (3 claims)
This source backs 3 claims across the atlas. As facts: 2 well-attested. Plus 1 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Theorems, 2 claims: 1 well-attested, 1 general references.
- Sources, 1 claims: 1 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.