Gödel–Schmidt example

Target entity: Gödel–Schmidt example
Context triple: [Naming and Necessity, hasExample, Gödel–Schmidt example]

• A. Gödel metric
  The Gödel metric is a solution to Einstein's field equations that describes a rotating universe allowing for closed timelike curves and thus the theoretical possibility of time travel.
• B. Swan constructed counterexamples over the rational numbers
  Swan constructed counterexamples over the rational numbers refers to Richard G. Swan’s landmark result showing that certain invariant fields under finite group actions over the rational numbers are not rational, thereby disproving a general affirmative answer to Noether’s problem in this setting.
• C. Blaschke
  Blaschke is a German surname most notably associated with Wilhelm Blaschke, a prominent mathematician known for his contributions to differential and convex geometry.
• D. Szekeres–Lindström theorem
  The Szekeres–Lindström theorem is a result in combinatorics that characterizes the maximum size of intersecting families of subsets, serving as a precursor to and special case of the Erdős–Ko–Rado theorem.
• E. Bohr–Courant theorem
  The Bohr–Courant theorem is a classical result in analytic number theory describing the value distribution of Dirichlet series, particularly the Riemann zeta function, and serves as a precursor to modern universality theorems such as Voronin’s.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Gödel–Schmidt example
Target entity description: The Gödel–Schmidt example is a thought experiment from Saul Kripke’s *Naming and Necessity* used to illustrate issues about reference, proper names, and the distinction between sense and reference in the philosophy of language.

• A. Gödel metric
  The Gödel metric is a solution to Einstein's field equations that describes a rotating universe allowing for closed timelike curves and thus the theoretical possibility of time travel.
• B. Swan constructed counterexamples over the rational numbers
  Swan constructed counterexamples over the rational numbers refers to Richard G. Swan’s landmark result showing that certain invariant fields under finite group actions over the rational numbers are not rational, thereby disproving a general affirmative answer to Noether’s problem in this setting.
• C. Blaschke
  Blaschke is a German surname most notably associated with Wilhelm Blaschke, a prominent mathematician known for his contributions to differential and convex geometry.
• D. Szekeres–Lindström theorem
  The Szekeres–Lindström theorem is a result in combinatorics that characterizes the maximum size of intersecting families of subsets, serving as a precursor to and special case of the Erdős–Ko–Rado theorem.
• E. Bohr–Courant theorem
  The Bohr–Courant theorem is a classical result in analytic number theory describing the value distribution of Dirichlet series, particularly the Riemann zeta function, and serves as a precursor to modern universality theorems such as Voronin’s.
• F. None of above. chosen