45 citations · 61 across the 5 of their papers we have counts for
5 papers
The maximum entropy state
Keye Martin
We give an algorithm for calculating the maximum entropy state as the least fixed point of a Scott continuous mapping on the domain of classical states in their Bayesian order.
Compactness of the space of causal curves
Keye Martin
We prove that the space of causal curves between compact subsets of a separable globally hyperbolic poset is itself compact in the Vietoris topology. Although this result implies t…
A domain of spacetime intervals in general relativity
Keye Martin, Prakash Panangaden
Beginning from only a countable dense set of events and the causality relation, it is possible to reconstruct a globally hyperbolic spacetime in a purely order theoretic manner. Th…
Spacetime topology from causality
Keye Martin, Prakash Panangaden
We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. This provides an abstract mathem…
Partiality in physics
Bob Coecke, Keye Martin
We revisit the standard axioms of domain theory with emphasis on their relation to the concept of partiality, explain how this idea arises naturally in probability theory and quant…