hasEventHorizon

P4449 predicate

Indicates that an object possesses an event horizon, a boundary beyond which events cannot affect an outside observer.

Aliases (3)
  • hasHorizonStructure ×3
  • eventHorizonRadiusSymbol ×1
  • hasOuterHorizonRadius ×1

Sample triples (10)
Subject Object
Bardeen black hole model can have an extremal horizon ("hasHorizonStructure")
Bardeen black hole model can have no horizon depending on parameters ("hasHorizonStructure")
Bardeen black hole model can have two horizons ("hasHorizonStructure")
Eddington–Finkelstein coordinates r = 2M ("eventHorizonRadiusSymbol")
Kerr–Newman black hole inner Cauchy horizon
Kerr–Newman black hole outer event horizon
Reissner–Nordström metric at r = r_+ for |Q| \le M
Reissner–Nordström metric r_+ = M + \sqrt{M^2 - Q^2} ("hasOuterHorizonRadius")
Schwarzschild black hole Schwarzschild radius
de Sitter spacetime cosmological horizon

Please wait…