Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Lubin–Tate theory | Statement: [Kummer theory, hasGeneralization, Lubin–Tate theory]

Target entity: Lubin–Tate theory
Context triple: [Kummer theory, hasGeneralization, Lubin–Tate theory]

• A. Lubin–Tate formal groups chosen
  Lubin–Tate formal groups are a class of one-dimensional formal group laws over local fields that play a central role in local class field theory by providing explicit descriptions of abelian extensions.
• B. Iwasawa theory
  Iwasawa theory is a branch of number theory that studies the growth of arithmetic invariants in infinite towers of number fields, particularly using p-adic methods.
• C. Hasse–Arf theorem
  The Hasse–Arf theorem is a fundamental result in algebraic number theory that precisely characterizes the jumps in the ramification filtration of abelian extensions of local fields, showing they occur at integer values.
• D. Artin–Schreier theory
  Artin–Schreier theory is a branch of algebraic number theory and field theory that characterizes cyclic extensions of prime degree in fields of characteristic p using additive polynomials.
• E. Iwasawa invariants
  Iwasawa invariants are numerical parameters in algebraic number theory that measure the growth of class groups and related arithmetic objects in infinite towers of number fields studied in Iwasawa theory.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.