caa a22 4500 467906114 CHVBK 20180406152834.0 cr unu---uuuuu 170328e20060701xx s 000 0 eng 10.1007/s10701-006-9052-1 doi (NATIONALLICENCE)springer-10.1007/s10701-006-9052-1 Król Jerzy Institute of Physics, University of Silesia, Uniwersytecka 4, 40-007, Katowice, Poland aut A Model for Spacetime: The Role of Interpretation in Some Grothendieck Topoi [Elektronische Daten] [Jerzy Król] We analyse the proposition that the spacetime structure is modified at short distances or at high energies due to weakening of classical logic. The logic assigned to the regions of spacetime is intuitionistic logic of some topoi. Several cases of special topoi are considered. The quantum mechanical effects can be generated by such semi-classical spacetimes. The issues of: background independence and general relativity covariance, field theoretic renormalization of divergent expressions, the existence and definition of path integral measures, are briefly discussed in the proposal. The connection with some problems in foundations of mathematics and differential topology are also discussed. Springer Science+Business Media, Inc., 2006 topos theory nationallicence spacetime structure nationallicence intuitionism nationallicence functional measures nationallicence quantum mechanics nationallicence Foundations of Physics Kluwer Academic Publishers-Plenum Publishers; http://www.springer-ny.com 36/7(2006-07-01), 1070-1098 0015-9018 36:7<1070 2006 36 10701 https://doi.org/10.1007/s10701-006-9052-1 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10701-006-9052-1 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Król Jerzy Institute of Physics, University of Silesia, Uniwersytecka 4, 40-007, Katowice, Poland aut NATIONALLICENCE 773 0- Foundations of Physics Kluwer Academic Publishers-Plenum Publishers; http://www.springer-ny.com 36/7(2006-07-01), 1070-1098 0015-9018 36:7<1070 2006 36 10701 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer