Atkinson theorem
E1197986
UNEXPLORED
Atkinson theorem is a fundamental result in functional analysis that characterizes Fredholm operators as precisely those bounded linear operators that are invertible modulo compact operators.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Atkinson theorem canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T16150809 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Atkinson theorem Context triple: [Fredholm operator, relatedTo, Atkinson theorem]
-
A.
Aitken’s Law
Aitken’s Law is a phonological rule in Scots and Scottish English that governs when vowels are pronounced long or short depending on their phonetic and morphological environment.
-
B.
Łoś's theorem
Łoś's theorem is a fundamental result in model theory that characterizes the truth of first-order formulas in ultraproducts by showing they hold exactly when they are true in "almost all" component structures.
-
C.
Atkinson
Atkinson is the surname of British comedian and actor Rowan Atkinson, best known for creating and portraying the character Mr. Bean.
-
D.
Page theorem
The Page theorem is a result in quantum information theory and black hole physics that predicts how the entanglement entropy of a subsystem typically evolves, underpinning the characteristic "Page curve" behavior in discussions of the black hole information paradox.
-
E.
Kluge's law
Kluge's law is a proposed sound law in Proto-Germanic historical linguistics that explains the development of certain geminate consonants from earlier consonant clusters.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Atkinson theorem Target entity description: Atkinson theorem is a fundamental result in functional analysis that characterizes Fredholm operators as precisely those bounded linear operators that are invertible modulo compact operators.
-
A.
Aitken’s Law
Aitken’s Law is a phonological rule in Scots and Scottish English that governs when vowels are pronounced long or short depending on their phonetic and morphological environment.
-
B.
Łoś's theorem
Łoś's theorem is a fundamental result in model theory that characterizes the truth of first-order formulas in ultraproducts by showing they hold exactly when they are true in "almost all" component structures.
-
C.
Atkinson
Atkinson is the surname of British comedian and actor Rowan Atkinson, best known for creating and portraying the character Mr. Bean.
-
D.
Page theorem
The Page theorem is a result in quantum information theory and black hole physics that predicts how the entanglement entropy of a subsystem typically evolves, underpinning the characteristic "Page curve" behavior in discussions of the black hole information paradox.
-
E.
Kluge's law
Kluge's law is a proposed sound law in Proto-Germanic historical linguistics that explains the development of certain geminate consonants from earlier consonant clusters.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.