35 citations · 455 across the 85 of their papers we have counts for
13 papers · 1 filter
Gregory's sixth operation
Tiziana Bascelli, Piotr Blaszczyk, Vladimir Kanovei +6
In relation to a thesis put forward by Marx Wartofsky, we seek to show that a historiography of mathematics requires an analysis of the ontology of the part of mathematics under sc…
A generic property of Solovay's set
Vladimir Kanovei, Vassily Lyubetsky
We prove that Solovay's set is generic over the ground model via a forcing notion whose order relation -extends the given order relation.
Toward a history of mathematics focused on procedures
Piotr Blaszczyk, Vladimir Kanovei, Karin U. Katz +3
Abraham Robinson's framework for modern infinitesimals was developed half a century ago. It enables a re-evaluation of the procedures of the pioneers of mathematical analysis. Thei…
Countable OD sets of reals belong to the ground model
Vladimir Kanovei, Vassily Lyubetsky
It is true in the Cohen, Solovay-random, dominaning, and Sacks generic extension that every countable ordinal-definable set of reals belongs to to the ground universe
In Cohen generic extension, every countable OD set of reals belongs to the ground model
Vladimir Kanovei
It is true in the Cohen generic extension of L, the constructible universe, that every countable ordinal-definable set of reals belongs to L.
A non-standard analysis of a cultural icon: The case of Paul Halmos
Piotr Blaszczyk, Alexandre Borovik, Vladimir Kanovei +4
We examine Paul Halmos' comments on category theory, Dedekind cuts, devil worship, logic, and Robinson's infinitesimals. Halmos' scepticism about category theory derives from his p…