48 citations · 112 across the 21 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
math.GN2017
A few characterizations of topological spaces with no infinite discrete subspace
Jean Goubault-Larrecq, Maurice Pouzet
We give several characteristic properties of FAC spaces, namely topological spaces with no infinite discrete subspace. The first one was obtained in 2019 by the first author, and s…
cs.LO2017★ 1 cited
Forward Analysis for WSTS, Part III: Karp-Miller Trees
Michael Blondin, Alain Finkel, Jean Goubault-Larrecq
This paper is a sequel of "Forward Analysis for WSTS, Part I: Completions" [STACS 2009, LZI Intl. Proc. in Informatics 3, 433-444] and "Forward Analysis for WSTS, Part II: Complete…
math.GN2017★ 7 cited
Complete Quasi-Metrics for Hyperspaces, Continuous Valuations, and Previsions
Jean Goubault-Larrecq
The Kantorovich-Rubinshtein metric is an -like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the unde…