Formal languages and model theoretic perspectives in physics

Acta Physica Polonica B

Volumn 32, Issue 11, 2001, Pages 3855-3871

  Kröl, Jerzy ^a  

^a UNIVERSITY OF SILESIA   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 31244435902     PISSN: 05874254     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (52)

1. G. Isham, J. Butterfield, Int. J. Theor. Phys. 38, 827 (1999).
2. C. Isham, Found. Phys. 30, 1707 (2000).
3. S. Kochen, E.P. Specker, J. Math. Mechanics 17, (1) (1967);
4. Symp. on thé Theory of Models, North Holland Publ. Co., Amsterdam 1965.
5. M. Makkai, G.E. Reyes, First Order Categorical Logic. Model Theoretic Methods in the Theory of topoi and Related Categories., Lect. Notes in Math., eds. A. Dold, B. Eckermann, Springer-Verlag, Berlin, Heildelberg 1977.
6. A. Kock, Synthethic Differential Geometry., London Math. Sei. Lecture. Notes Series 51, Cambridge U. Press, 1981.
7. I. Moerdijk, G.E. Reyes, Models for Smooth Infinitesimal Analysis, Springer Verlag, NY 1991.
8. S. Mac Lane, Categories for the Working Mathematician, Springer Verlag, NY, Heildelberg, Berlin 1971.
9. A. Tarski, A. Mostowski, R.M. Robinson, 'Undecidable Theories, North Holland Pub. Co., Amsterdam 1953.
10. K.J. Keisler, G.G. Chang, Model Theory, North Holland Publ. Co., Amsterdam 1973.
11. T. Jech, Set Theory, Academic Press, 1978.
12. R. Murawski, Funkcje Rekurencyjne i Elementy Metamatematyki, Uniwersytet im. A. Mickiewicza w Poznaniu, Poznan 1991, in Polish.
13. Y.B. Grinkevich, gr-qc/9608013.
14. Y.B. Grinkevich, A. Guts, gr-qc/9610073.
15. A. Guts, A. Zvyagitser, physics/9909016, gr-qc/0001076.
16. T. Kobayashi, Classical Solutions of Schroedinger Equations and NonStandard Analysis in Symmetries in Science VII, eds B. Gruber, T. Otsuka, Plenum Press, NY 1994, pp. 287-294.
17. T. Kobayashi, Decoherence Mechanism in QM., Proc of the Symp. of Quantum Informations and Open Systems, ed. M. Okya, Tokyo Rika University Press, 1 (1995).
18. A. Robinson, Collected Papers, (A. Robinson, P.J. Keleman) pp. 270-278
19. A. Robinson, Non-Standard Analysis, Studies in Logic and the Foundations of Mathematics, Amsterdam 1966.
20. L. Crane, J. Math. Phys. 36, 6180 (1995).
21. L. Crane, gr-qc/0004043.
22. L. Crane, D. Yetter, A Categorical Construction of 4d TQFT in Quantum Topology, eds L.H. Kauffman, R.A. Badhio, World Sei. Press, 1993.
23. L. Crane, D. Yetter, H. Kauffman, J. Knot Theory and Its Ramification 6, 177 (1997).
24. M. Mackaay, qa/9903003.
25. J. Baez, J. Dolan, Categorification in Higher Category Theory, eds E. Getzler, M. Kapranov, AMS, Providence, 1 (1998).
26. V.G. Turaev, O.Y. Viro, Topology 31, 865 (1992).
27. F.W. Lawvere, Functorial Semantics of Algebraic Theories., Proc. Nat. Acad. Sei., USA 50, 869 (1963).
28. F.W. Lawvere, Continuously Variable Sets:-Algebraic Geometry = Geometric Logic, in Logic Coll. 73, North Holland, Bristol 1975 p. 135.
29. E. Witten, Commun. Math. Phys. 121, 357 (1989).
30. R. Solovay, S. Tennebaum, Ann. Math. 94, 201 (1971).
31. A. Scedrov, Forcing and Classifying Topoi., Memoirs of the AMS 48, 295 (1984).
32. J. Dionne, Thèse de M. Se., Univ. de Montréal, July 1973.
33. T. Skolem, Logico-Combinatorial Investigations in the Satisfiability or Provability of Math. Properties ..., 1920 in From Frege to Gödel, ed. J. van Heijenoort, Harvard U. Press., Cambridge Mass 1967.
34. Y. Suzuki, G. Wilmers, Non Standard Models for Set Theory, Proc. B. Russell Memorial Logic Conf., Uldum (1971), Leeds 1973, pp. 278-314.
35. L. Henkin, J. Sym. Logic 14, 159 (1949).
36. L. Henkin, J. Sym. Logic 15, 81 (1950).
37. J. Barwise Handbook of Math. Logic., North Holland, 1977.
38. K. Gödel, On Formally Undecidable Propositions of PM and Related Systems, 592 (1931), in From Frege to Gödel, J. van Heijenoort (ed.), Harvard U. Press., Cambridge Mass. 1967.
39. P.J. Cohen, Proc. Nat. Acad. Sei. USA 50, 1143 (1963).
40. M. Dalla Chiara, R. Giuntini, Quantum Logics., in Handbook of Philosophical Logic, ed. D. Gabbay, Klüver Dordrecht 2001.
41. M. Farrukh, J. Math. Phys. 16, 177 (1975).
42. B. Coecke, I. Stubbe, Found. Phys. Lett. 12, 29 (1999).
43. P. Johnston, Lect. Notes Math., 753; Appl. of Sheaves, Springer Verlag, 1979, 466.
44. P. Benioff, quant-ph/0103078.
45. P. Benioff, quant-ph/0106153.
46. H. Putnam, J. Sym. Logic 45, 464 (1980).
47. J. von Neuman, On the Introduction of Transfinite Numbers, 1923, in From Frege to Gödeled, J. van Heijenoort (ed.), Harvard U. Press., Cambridge Mass. 1967.
48. T. Bartoszynski, H. Judah, Set Theory. On the Structure of the Real Line, ed. A.K. Peters, Wellesley Mass. 1995.
49. L. Smolin, J. Math. Phys. 36, (1985).
50. J. Lambek, P.J. Scott, Introduction to Higher Order Categorical Logic, Cambridge U. Press, 1994.
51. A. Ashtekar, Phys. Rev. Lett. 57, 2244 (1986).
52. J. von Neuman, G. Birghoff, Ann'. Math. 37, 823 (1936).