Lewy extension theorem

Target entity: Lewy extension theorem
Context triple: [Hans Lewy, theoremNamedAfter, Lewy extension theorem]

• A. Whitney extension theorem
  The Whitney extension theorem is a fundamental result in mathematical analysis that characterizes when a function defined on a closed subset of Euclidean space can be extended to a smooth function on the whole space.
• B. Scott–Mazur theorem
  The Scott–Mazur theorem is a result in functional analysis that characterizes when a Banach space is reflexive in terms of the weak compactness of its closed unit ball.
• C. Gel'fand–Kirillov conjecture
  The Gel'fand–Kirillov conjecture is a statement in noncommutative algebra proposing that certain universal enveloping algebras of Lie algebras are birationally equivalent to Weyl algebras, linking their structure to that of algebras of differential operators.
• D. Busemann–Feller theorem
  The Busemann–Feller theorem is a result in geometric measure theory that characterizes when a metric space is geodesic by relating distance properties to the existence of shortest paths between points.
• E. Subspace theorem
  The Subspace theorem is a fundamental result in Diophantine approximation that describes how solutions to certain inequalities involving linear forms over algebraic numbers must lie in a finite union of proper subspaces.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Lewy extension theorem
Target entity description: The Lewy extension theorem is a fundamental result in complex analysis and partial differential equations that guarantees the holomorphic extendability of solutions to certain linear PDEs across real-analytic boundaries.

• A. Whitney extension theorem
  The Whitney extension theorem is a fundamental result in mathematical analysis that characterizes when a function defined on a closed subset of Euclidean space can be extended to a smooth function on the whole space.
• B. Scott–Mazur theorem
  The Scott–Mazur theorem is a result in functional analysis that characterizes when a Banach space is reflexive in terms of the weak compactness of its closed unit ball.
• C. Gel'fand–Kirillov conjecture
  The Gel'fand–Kirillov conjecture is a statement in noncommutative algebra proposing that certain universal enveloping algebras of Lie algebras are birationally equivalent to Weyl algebras, linking their structure to that of algebras of differential operators.
• D. Busemann–Feller theorem
  The Busemann–Feller theorem is a result in geometric measure theory that characterizes when a metric space is geodesic by relating distance properties to the existence of shortest paths between points.
• E. Subspace theorem
  The Subspace theorem is a fundamental result in Diophantine approximation that describes how solutions to certain inequalities involving linear forms over algebraic numbers must lie in a finite union of proper subspaces.
• F. None of above. chosen