Constructive uniqueness proofs of stationary vacuum Black Hole spacetimes including the case of degenerate horizons

to related objects

Location: Deutsche Nationalbibliothek Frankfurt am Main

Extent: Online-Ressource

Language: Deutsch

Classification: Physik

Event: Veröffentlichung

(where): Jena

(who): Friedrich-Schiller-Universität Jena

(when): 2007

Creator: Pauliuk, Stefan

Contributor: Meinel, Reinhard
Neugebauer, Gernot

URN: urn:nbn:de:gbv:27-20070601-092219-1

Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Last update: 14.08.2025, 11:00 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Show original at data provider

Associated

Pauliuk, Stefan
Meinel, Reinhard
Neugebauer, Gernot
Friedrich-Schiller-Universität Jena

Time of origin

2007

Other Objects (12)

Constructive proofs or constructive statements?

Hochschulschrift

On the constructive content of proofs

Hochschulschrift

On the constructive content of proofs

Computer-Assisted Proofs of Hopf Bubbles and Degenerate Hopf Bifurcations

Hochschulschrift

Correctness proofs and probabilistic tests for constructive specifications and functional programs

Hochschulschrift

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

Bildband

Horizons

Constructive proofs or constructive statements?

Hochschulschrift

On the constructive content of proofs

Hochschulschrift

On the constructive content of proofs

Computer-Assisted Proofs of Hopf Bubbles and Degenerate Hopf Bifurcations

Hochschulschrift

Correctness proofs and probabilistic tests for constructive specifications and functional programs

Hochschulschrift

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

Bildband

Horizons

Constructive proofs or constructive statements?

Hochschulschrift

On the constructive content of proofs

Hochschulschrift

On the constructive content of proofs

Computer-Assisted Proofs of Hopf Bubbles and Degenerate Hopf Bifurcations

Hochschulschrift

Correctness proofs and probabilistic tests for constructive specifications and functional programs

Hochschulschrift

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

Bildband

Horizons

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read the terms of use and the privacy policy for the collection of personal data and accept them. *

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

Constructive uniqueness proofs of stationary vacuum Black Hole spacetimes including the case of degenerate horizons

Object Details

Classification and Topics

Contributors, Places and Time

Further information

Data provider

Associated

Time of origin

Other Objects (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

Horizons

Related objects

Reset password