Constructive uniqueness proofs of stationary vacuum Black Hole spacetimes including the case of degenerate horizons
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Klassifikation
-
Physik
- Ereignis
-
Veröffentlichung
- (wo)
-
Jena
- (wer)
-
Friedrich-Schiller-Universität Jena
- (wann)
-
2007
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:gbv:27-20070601-092219-1
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:00 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Pauliuk, Stefan
- Meinel, Reinhard
- Neugebauer, Gernot
- Friedrich-Schiller-Universität Jena
Entstanden
- 2007
Ähnliche Objekte (12)
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
Computer-Assisted Proofs of Hopf Bubbles and Degenerate Hopf Bifurcations
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Analysis of methods for extraction of programs from non-constructive proofs
Wormholes, killing horizons and naked singularities: light surfaces in axially symmetric spacetimes
Surface Gravity of Compact Non-degenerate Horizons Under the Dominant Energy Condition
Operational Spacetimes
Synthetic proofs
Reusing Proofs
Horizons
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
Computer-Assisted Proofs of Hopf Bubbles and Degenerate Hopf Bifurcations
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Analysis of methods for extraction of programs from non-constructive proofs
Wormholes, killing horizons and naked singularities: light surfaces in axially symmetric spacetimes
Surface Gravity of Compact Non-degenerate Horizons Under the Dominant Energy Condition
Operational Spacetimes
Synthetic proofs
Reusing Proofs
Horizons
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
Computer-Assisted Proofs of Hopf Bubbles and Degenerate Hopf Bifurcations
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Analysis of methods for extraction of programs from non-constructive proofs
Wormholes, killing horizons and naked singularities: light surfaces in axially symmetric spacetimes
Surface Gravity of Compact Non-degenerate Horizons Under the Dominant Energy Condition
Operational Spacetimes
Synthetic proofs
Reusing Proofs