A Suppes predicate for general relativity and set-theoretically generic spacetimes

DOI10.1007/BF00673682zbMath0707.03045MaRDI QIDQ918975

J. Acácio de Barros, Francisco Antonio Doria, Newton C. A. Da Costa

Publication date: 1990

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

zbMATH Keywords

Zermelo-Fraenkel set theorygravitational theoryphysical interpretationaxiomatic treatment for general relativityset-theoretic genericity for manifolds that underlie the Einstein equationsSuppes predicate

Mathematics Subject Classification ID

Einstein's equations (general structure, canonical formalism, Cauchy problems) (83C05) Applications of global differential geometry to the sciences (53C80) Global differential geometry of Lorentz manifolds, manifolds with indefinite metrics (53C50) Inner models, including constructibility, ordinal definability, and core models (03E45) Applications of set theory (03E75) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

Dynamical system where proving chaos is equivalent to proving Fermat's conjecture ⋮ On Jaśkowski's discussive logics ⋮ Remarks on undecidability, incompleteness and the integrability problem ⋮ Undecidability and incompleteness in classical mechanics ⋮ EINSTEIN MEETS GÖDEL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ends of Maps. II
• Set theory. An introduction to independence proofs. 2nd print
• Incompleteness theorems for random reals
• The topology of 4-manifolds
• Gödel's theorem and information
• Counting topological manifolds
• A model of set-theory in which every set of reals is Lebesgue measurable
• On the homotopy type of manifolds
• Homeomorphisms between topological manifolds and analytic manifolds
• Forcing and reducibilities
• Models of Zermelo Frankel set theory as carriers for the mathematics of physics. I
• Models of Zermelo Frankel set theory as carriers for the mathematics of physics. II
• A proof of the independence of the continuum hypothesis
• The primary decomposition theory for modules