The hole argument, take \(n\)

DOI10.1007/s10701-019-00291-xzbMath1435.03034OpenAlexW2969822642WikidataQ127336160 ScholiaQ127336160MaRDI QIDQ1985882

John Dougherty

Publication date: 7 April 2020

Published in: Foundations of Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10701-019-00291-x

zbMATH Keywords

general relativityhomotopy type theorygeneral covariancehole argument

Mathematics Subject Classification ID

Topological categories, foundations of homotopy theory (55U40) Logic in the philosophy of science (03A10) Type theory (03B38)

Related Items (2)

Representation and Spacetime: The Hole Argument Revisited ⋮ New perspectives on the hole argument

Cites Work

• Unnamed Item
• Unnamed Item
• Is the universe as large as it can be?
• Expressing `the structure of' in homotopy type theory
• Identity in Homotopy Type Theory, Part I: The Justification of Path Induction
• The Hole Truth
• Determinism and Modality
• Holes, Haecceitism and Two Conceptions of Determinism
• Regarding the ‘Hole Argument’
• Non-uniquely Extendible Maximal Globally Hyperbolic Spacetimes in Classical General Relativity: A Philosophical Survey
• Homotopy Type Theory: A synthetic approach to higher equalities
• Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT
• Structuralism, Invariance, and Univalence
• CATEGORICAL HARMONY AND PATH INDUCTION
• Homotopy Type Theory: Univalent Foundations of Mathematics
• General Relativity

This page was built for publication: The hole argument, take \(n\)