• Corpus ID: 9070012

Solution of the vacuum Einstein equations in Synthetic Differential Geometry of Kock-Lawvere

@article{Guts1999SolutionOT,
  title={Solution of the vacuum Einstein equations in Synthetic Differential Geometry of Kock-Lawvere},
  author={Alexander K. Guts and Artem A. Zvyagintsev},
  journal={arXiv: General Physics},
  year={1999}
}
The topos theory is a theory which is used for deciding a number of problems of theory of relativity, gravitation and quantum physics. It is known that topos-theoretic geometry can be successfully developed within the framework of Synthetic Differential Geometry of Kock-Lawvere (SDG), the models of which are serving the toposes, i.e. categories possessing many characteristics of traditional Theory of Sets. In the article by using ideas SDG, non-classical spherically symmetric solution of the… 

Interpretation of intuitionistic solution of the vacuum Einstein equations in smooth topos

The topos theory is a theory which is used for deciding a number of problems of theory of relativity, gravitation and quantum physics. In the article spherically symmetric solution of the vacuum

Interpretation of intuitionistic solution of the vacuum Einstein equations in smooth topos

The topos theory is a theory which is used for deciding a number of problems of theory of relativity, gravitation and quantum physics. In the article spherically symmetric solution of the vacuum

The theory of Multiverse, multiplicity of physical objects and physical constants

The Multiverse is collection of parallel universes. In this article a formal theory and a topos-theoretic models of the multiverse are given. For this the Lawvere-Kock Synthetic Differential Geometry

Gravity in the smallest

Synthetic Differential Geometry (SDG) is a categorical version of differential geometry based on enriching the real line with infinitesimals and weakening of classical logic to intuitionistic logic.

Infinitesimal Structure of Singularities

Some important problems of general relativity, such as the quantisation of gravity or classical singularity problems, crucially depend on geometry on very small scales. The so-called synthetic

Synthetic Approach to the Singularity Problem

We try to convince the reader that the categorical version of differential geometry, called Synthetic Differential Geometry (SDG), offers valuable tools which can be applied to work with some

Inflnite Dimensional Spaces and Cartesian Closedness

Infinite dimensional spaces frequently appear in physics; there are several approaches to obtain a good categorical framework for this type of space, and cartesian closedness of some category,

References

SHOWING 1-10 OF 12 REFERENCES

Toposes in General Theory of Relativity

We study in this paper different topos-theoretical approaches to the problem of construction of General Theory of Relativity. In general case the resulting space-time theory will be non-classical,

Synthetic Differential Geometry: A Way to Intuitionistic Models of General Relativity in Toposes

W.Lawvere suggested a approach to differential geometry and to others mathematical disciplines closed to physics, which allows to give definitions of derivatives, tangent vectors and tangent bundles

Models for smooth infinitesimal analysis

The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of

A Linear Solution of the Four-Dimensionality Problem

Modelling the measurement ("active observation") process makes it possible to express in strict terms the degree to which the logic of the observer determines what he "sees", and formalize the

Synthetic Differential Geometry: A Way to Intuitionistic Models of General Relativity in Toposes

W .Lawverein [4]suggested aapproach todi erentialgeom etry and toothersm athem aticaldisciplines closed to physics,which allows to give de nitions ofderivatives, tangentvectorsand

Synthetic Differential Geometry

Preface to the second edition (2005) Preface to the first edition (1981) Part I. The Synthetic Ttheory: 1. Basic structure on the geometric line 2. Differential calculus 3. Taylor formulae - one

Topos theory and consistent histories: The internal logic of the set of all consistent sets

A major problem in the consistent-histories approach to quantum theory is contending with the potentially large number of consistent sets of history propositions. One possibility is to find a scheme

Relativity: The General Theory

A topos-theoretic approach to the foundations of Relativity theory // Soviet Math. Dokl.-1991

  • A topos-theoretic approach to the foundations of Relativity theory // Soviet Math. Dokl.-1991

The categorical analisys of logic

  • The categorical analisys of logic
  • 1979