Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics

DOI10.1007/978-3-642-15025-8_23zbMath1287.03109OpenAlexW2167456969MaRDI QIDQ3586016

Vladik Ya. Kreinovich

Publication date: 3 September 2010

Published in: Fields of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15025-8_23

zbMATH Keywords

constructive mathematicsspace-timesmetrization theoremUrysohn's lemma

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Special relativity (83A05) Consistency and independence results in general topology (54A35) Other constructive mathematics (03F65)

Uses Software

• PNM

Cites Work

• Techniques of constructive analysis
• Computational complexity of determining which statements about causality hold in different space-time models
• The construction of a continuous demand function for uniformly rotund preferences
• The constructive theory of preference relations on a locally compact space. II
• Computational complexity and feasibility of data processing and interval computations
• Representations of preference orderings
• Symmetry characterization of Pimenov's spacetime: A reformulation of causality axioms
• Some relations between classical and constructive mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item