Background independence in quantum gravity and forcing constructions

Foundations of Physics

Volumn 34, Issue 3, 2004, Pages 361-403

  Król, Jerzy ^a  

^a UNIVERSITY OF SILESIA   (Poland)

Author keywords

Boolean models of ZFC; Exotic R4; Forcing; Quantum gravity; Quantum mechanics

Indexed keywords

EID: 1542380565     PISSN: 00159018     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:FOOP.0000019620.04821.a2     Document Type: Article

References (51)

1. A. Ashtekar, Phys. Rev. Lett. 57, 2244 (1986).
2. L. Smolin, "The cubic matrix model and duality between strings and loops," hep-th/0006137 (2000).
3. A. Ashtekar, "Quantum geometry and gravity: recent advances," gr-qc/0112038.
4. P. Benioff, "Language is physical," quant-ph/0210211 (2002).
5. C. Isham, "Some reflections on the status of conventional quantum theory when applied to quantum gravity," quant-ph/0206090 (2002).
6. J. Król, "Set theoretical forcing in quantum mechanics and AdS/CFT correspondence," to appear in Int. J. Theor. Phys. quant-ph/0303089 (2003).
7. A. Kock and C. J. Mikkelsen, "Topos-theoretic factorization of non-standard extensions," in Proc. Victoria Symposium on Non-standard Analysis, A. Hurd and P. Loeb, eds. (Springer, Berlin, Heidelberg, New York, 1974), pp. 122-143.
8. J. von Neuman and G. Birkhoff, Ann. Math. 37, 823 (1936).
9. L. Smolin, "Quantum gravity with a positive cosmological constant," hep-th/0209079 (2002).
10. J. Väänänen, "Second order logic and foundations of mathematics," Bull. Symb. Logic 7(4), 504 (2001).
11. W. Lawvere, "Continuously variable sets; algebraic geometry=geometric logic," in Logic Coll. Vol. 73 (North-Holland, Bristol, 1975), p. 135.
12. G. E. Reyes and I. Moerdijk, Models for Smooth Infinitesimal Analysis (Springer, New York, 1991).
13. P. Benioff, "Models of Zermelo-Frankel set theory as carriers for the mathematics of physics I, II," J. Math. Phys. 17(5), 618-628, 629-640 (1976).
14. A. Scedrov, "Forcing and classifying topoi," Memoirs of the American Mathematical Society 45(295), (1984).
15. S. Mac Lane and I. Moerdijk, Sheaves in Geometry and Logic. A First Introduction to Topos Theory (Springer, New York, 1992).
16. K. Kunen, Set Theory. An Introduction to Independence Proofs (North-Holland, Amsterdam, 1980).
17. T. Bartoszynski and H. Judach, Set Theory. On the Structure of the Real Line (Peters, Wellesley, Massachusetts, 1995).
18. J. L. Bell, Boolean-Valued Models and Independence Proofs in Set Theory, 2nd edn. (Oxford University Press, Oxford, 1985).
19. G. Takeuti, "Two applications of logic to mathematics," Math. Soc. Japan 13, Kano Memorial Lecture 3 (1978).
20. S. Koppelberg, Handbook of Boolean Algebras, Vol. 1, J. D. Monk, ed. (North-Holland, Amsterdam, New York, 1989).
21. Private communication with G. Takeuti.
22. T. Jech, Set Theory, 2nd edn. (Springer, Berlin, Heildelberg, 1997).
23. B. Balcar, T. Jech, and J. Zapletal, "Semi Cohen Boolean algebras," Ann. Pure Appl. Logic 87, 187-208 (1997).
24. T. Jech, "Abstract theory of Abelian operator algebras: An application of forcing," Trans. Amer. Math. Soc. 289(1), 133-162 (1984).
25. M. Ozawa, "Forcing in nonstandard analysis," Ann. Pure Appl. Logic 68, 263-297 (1994).
26. M. Ozawa, "Scott incomplete Boolean ultrapowers of the real line," J. Symb. Logic 60(1), 160-171 (1995).
27. G. Takeuti, "Quantum set theory," in Current Issues in Quantum Logic, E. Beltrametti and B. C. van Frassen, eds. (Plenum, New York, 1981), p. 303.
28. H. J. Keisler and C. C. Chang, Model Theory, 3rd edn. (North-Holland, Amsterdam, 1990).
29. M. Murakami, "Standardization principle of nonstandard universes," J. Symb. Logic 64(4), 1645-1655 (1999).
30. A. Blass, "End extensions, conservative extensions, and the Rudin-Frolik ordering," Trans. Amer. Math. Soc. 225, 325-340 (1977).
31. T. Thiemann, "Introduction to modern canonical quantum general relativity," gr-qc/0110054 (2001).
32. A. Robinson, Non-Standard Analysis, Studies in Logic and the Foundations of Mathematics, (North-Holland, Amsterdam, 1966).
33. J. Polchinski, String Theory. Superstring Theory and Beyond, Vol. 2 (Cambridge University Press, 1999).
34. J. Polchinski, "Dirichlet branes and Ramond-Ramond charges," Phys. Rev. Lett. 75, 4724 (1995).
35. J. L. Petersen, "Introduction to the Maldacena conjecture on AdS/CFT," preprint Niels Bohr Institute, NBI-HE-99-05 (1999).
36. R. E. Gompf and A. I. Stipsicz, An Introduction to 4-Manifolds and Kirby Calculus (American Mathematical Society, Rhode Island, 1999).
37. R. C. Kirby, The Topology of 4-Manifolds, Lectures Notes in Mathematics, Vol. 1374 (Springer, Berlin, Heidelberg, New York, 1989).
38. C. H. Brans, J. Math. Phys. 35, 5494 (1994).
39. 4's with few symmetries," Int. J. Mod. Phys. D 10, 311 (2001).
40. M. H. Freedman, "The topology of four-dimensional manifolds," J. Diff. Geom. 17, 357-453 (1982).
41. 4's," J. Diff. Geom. 43, 458-504 (1996).
42. 4's in standard 4-space," J. Diff. Geom. 35, 219-254 (1992).
43. T. Jech, Multiple Forcing, Cambridge Tracts in Mathematics, Vol. 88 (Cambridge University Press, 1986).
44. T. Asselmeyer, "Generation of source terms in general relativity by differential structures," Class. Quant. Grav. 14, 749-758 (1997).
45. A. Robinson, "Topics in non-archimedean mathematics," in Collected Papers (North-Holland, Amsterdam, 1979), pp. 99-112.
46. M. Arnsdorf and L. Smolin, "The Maldacena conjecture and Rehren duality," hep-th/0106073 (2001).
47. J. Polchinski and M. J. Strassler, "The string dual of a confining four-dimensional gauge theory," hep-th/0003136 (2000).
48. J. L. Bell, "A new approach to quantum logic," Brit. J. Phil. Sci. 37, 83-99 (1986).
49. E. Witten, "Supersymmetric Yang-Mills theory on a four-manifold," J. Math. Phys. 35 (10), 5101 (1994).
50. S. Donaldson, "An application of gauge theory to the topology of 4-manifolds," J. Diff. Geom. 18, 269-316 (1983).
51. R. Mansfield, "The theory of Boolean ultrapowers," Ann. Math. Logic 2, 297-323 (1971).