Representation and Spacetime: The Hole Argument Revisited

DOI10.1080/02698595.2022.2144457zbMath1522.83013OpenAlexW4310272936MaRDI QIDQ6117147

Aboutorab Yaghmaie, Bijan Ahmadi Kakavandi, Morteza Moniri, Saeed Masoumi

Publication date: 16 August 2023

Published in: International Studies in the Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/02698595.2022.2144457

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Geometrodynamics and the holographic principle (83E05) Einstein's equations (general structure, canonical formalism, Cauchy problems) (83C05) Type theory (03B38)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On representational capacities, with an application to general relativity
• Regarding `Leibniz equivalence'
• The hole argument in homotopy type theory
• The hole argument, take \(n\)
• The hole argument against everything
• The hole argument and some physical and philosophical implications
• The hole argument for covariant theories
• Identity in Homotopy Type Theory, Part I: The Justification of Path Induction
• The Hole Truth
• Regarding the ‘Hole Argument’
• Set Theory
• Homotopy Type Theory: A synthetic approach to higher equalities
• What Types Should Not Be†
• Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT
• UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY
• Structuralism, Invariance, and Univalence
• Homotopy Type Theory: Univalent Foundations of Mathematics
• On the global isometric embedding of pseudo-Riemannian manifolds
• The Large Scale Structure of Space-Time