The pentalogy [60, 61, 62, 76, 63] is brought to its categorical climax by organizing the curved finitary spacetime sheaves of quantum causal sets involved therein, on which a finitary (:locally finite), singularity-free, background manifold independent and geometrically prequantized version of the gravitational vacuum Einstein field equations were seen to hold, into a topos structure DTfcq. We...

An action of a group G is highly transitive if acts transitively on k-tuples distinct points for all k?1. Many examples groups with rich geometric or dynamical admit actions. We prove that admits such does not contain the subgroup finitary alternating permutations, and H confined G, then remains transitive, possibly after discarding finitely many points.

We show that the infinite matroid intersection conjecture of NashWilliams implies the infinite Menger theorem proved recently by Aharoni and Berger. We prove that this conjecture is true whenever one matroid is nearly finitary and the second is the dual of a nearly finitary matroid, where the nearly finitary matroids form a superclass of the finitary matroids. In particular, this proves the inf...

This paper studies finitary modal logics as specification languages for Set-coalgebras (coalgebras on the category of sets) using Stone duality. It is wellknown that Set-coalgebras are not semantically adequate for finitary modal logics in the sense that bisimilarity does not in general coincide with logical equivalence. Stone-coalgebras (coalgebras over the category of Stone spaces), on the ot...