activity
20172020
most citedThe open mapping principle for partial actions of polish groups

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2018

Completion of premetric spaces

Jose Andrés Quintero, Carlos Uzcátegui

We present a method for completing a premetric space, in the sense introduced by F. Richman in the context of constructive Mathematics without countable choice.