# 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…

## 8 Citations

### Gravity in the smallest

- Geology
- 2017

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

- Mathematics
- 2017

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

- Mathematics, Philosophy
- 2016

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

- Mathematics
- 2011

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,…

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

- Mathematics
- 2002

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…

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

- Physics
- 2000

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

- Physics
- 2000

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…

## References

SHOWING 1-10 OF 12 REFERENCES

### Models for smooth infinitesimal analysis

- Mathematics
- 1990

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…

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

- Mathematics
- 1996

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

- Mathematics
- 1981

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…

### Toposes in General Theory of Relativity

- Philosophy
- 1996

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,…

### A Linear Solution of the Four-Dimensionality Problem

- Philosophy
- 1995

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…

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

- Philosophy
- 1996

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…

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

- Mathematics
- 1996

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…

### 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