scientific article; zbMATH DE number 866048
From MaRDI portal
Publication:4873213
zbMATH Open0900.03060MaRDI QIDQ4873213FDOQ4873213
Authors: Olga Kosheleva, Vladik Kreinovich
Publication date: 30 September 1997
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 866057
- Axiomatizing distance logics
- Logical Approaches to Computational Barriers
- Preservation theorems without continuum hypothesis
- Preservation theorems in linear continuous logic
- Distance-based paraconsistent logics
- scientific article; zbMATH DE number 10164
- On Mazur-Ulam theorem and mappings which preserve distances
- Some preservation theorems in an intermediate logic
- The definable \((p,q)\)-theorem for distal theories
special relativityelementary geometrylogical trivialityMinkowski causalityunit-distance preserving theorem
Special relativity (83A05) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) General theory of distance geometry (51K05) Undecidability and degrees of sets of sentences (03D35)
Cited In (2)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4873213)