Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A proof of the Geroch-Horowitz-Penrose formulation of the strong cosmic
  censor conjecture motivated by computability theory   In this paper we present a proof of a mathematical version of the strong
cosmic censor conjecture attributed to Geroch-Horowitz and Penrose but
formulated explicitly by Wald. The proof is based on the existence of
future-inextendible causal curves in causal pasts of events on the future
Cauchy horizon in a non-globally hyperbolic space-time. By examining explicit
non-globally hyperbolic space-times we find that in case of several physically
relevant solutions these future-inextendible curves have in fact infinite
length. This way we recognize a close relationship between asymptotically flat
or anti-de Sitter, physically relevant extendible space-times and the so-called
Malament-Hogarth space-times which play a central role in recent investigations
in the theory of "gravitational computers". This motivates us to exhibit a more
sharp, more geometric formulation of the strong cosmic censor conjecture,
namely "all physically relevant, asymptotically flat or anti-de Sitter but
non-globally hyperbolic space-times are Malament-Hogarth ones".
  Our observations may indicate a natural but hidden connection between the
strong cosmic censorship scenario and the Church-Turing thesis revealing an
unexpected conceptual depth beneath both conjectures.

34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas