A domain of spacetime intervals in general relativity

Communications in Mathematical Physics

Volumn 267, Issue 3, 2006, Pages 563-586

  Martin, Keye ^a   Panangaden, Prakash ^b  

^a NAVAL RESEARCH LABORATORY   (United States)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33748527850     PISSN: 00103616     EISSN: 14320916     Source Type: Journal    
DOI: 10.1007/s00220-006-0066-5     Document Type: Article

References (16)

1. [AJ94] Abramsky, S., Jung, A.: Domain theory. In: Maibaum, T.S.E., Abramsky, S., Gabbay, D.M., eds., Handbook of Logic in Computer Science, Vol. III. Oxford: Oxford University Press, 1994
2. [Faj00] Fajstrup, L.: Loops, ditopology and deadlocks: Geometry and concurrency. Math. Struct. Comput. Sci. 10(4), 459-480 (2000)
3. [GFR98] Goubault, E., Fajstrup, L., Raussen, M.: Algebraic topology and concurrency. Department of Mathematical Sciences RR-98-2008, Aalborg University, 1998. Presented at MFCS 1998 London
4. +03] Gierz, G., Hoffman, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous lattices and domains. Number 93 in Encyclopedia of Mathematics and its Applications. Cambridge: Cambridge University Press, 2003
5. [HE73] Hawking, S.W., Ellis, G.F.R.: The large scale structure of space-time. Cambridge Monographs on Mathematical Physics. Cambridge: Cambridge University Press, 1973.
6. [J93] Joshi, P.S.: Global aspects in gravitation and cosmology. International Series of Monographs on Physics 87. Oxford: Oxford Science Publications, 1993
7. [Mal77] Malement, D.: The class of continuous timelike curves determines the topology of spacetime. J. Math. Phys. 18(7), 1399-1404 (1977)
8. [Mar00a] Martin, K.: A foundation for computation. PhD thesis, Department of Mathematics. Tulane University, 2000
9. [Mar00b] Martin, K.: The measurement process in domain theory. In: 27th International Colloquium on Automata, Languages and Programming (ICALP'00), Number 1853 in Lecture Notes In Computer Science. Berlin-Heidelberg-New York: Springer-Verlag, 2000, pp. 116-126
10. [Mar06] Martin, K.: Compactness of the space of causal curves. J. Class. Quantum Gravity, 23(4), 1241-1253 (2006)
11. [Pen65] Penrose, R.: Gravitational collapse and space-time singularities. Phys. Rev. Lett. 14, 57-59 (1965)
12. [Pen72] Penrose, R.: Techniques of differential topology in relativity. Phildelphia, PA: Society for Industrial and Applied Mathematics, 1972
13. [Sco70] Scott, D.: Outline of a mathematical theory of computation. Technical Monograph PRG-2, Oxford University Computing Laboratory, 1970
14. [Sor91] Sorkin, R.: Spacetime and causal sets. In: D'Olivo, J. et. al., ed., Relativity and Gravitation: Classical and Quantum. Singapore: World Scientific, 1991
15. 0 Lorentzian metrics: Proof of compactness of the space of causal curves. Class. Quantum Grav. 13, 1971-1994 (1996)
16. [Wal84] Wald, R.M.: General relativity. Chicago, IL: The University of Chicago Press, 1984