pith. sign in

Vladimir Kanovei

Identifiers

  • name variant Vladimir Kanovei 0.60 · backfill

Papers (67)

  1. A philosophical history of infinitesimals math.HO · 2026 · author #1
  2. Locally countable graphs of second projective class not generated by countably many projective functions math.LO · 2026 · author #1
  3. On Petr Novikov's problem of ordered systems of uniform sets math.LO · 2026 · author #1
  4. Models of set theory in which separation theorem fails math.LO · 2019 · author #1
  5. Definable Hamel bases and $AC_\omega(R)$ math.LO · 2019 · author #1
  6. On intermediate extensions of generic extensions by a random real math.LO · 2018 · author #1
  7. On Harrington's model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami math.LO · 2018 · author #1
  8. A model of second-order arithmetic satisfying AC but not DC math.LO · 2018 · author #3
  9. Monotone subsequence via ultrapower math.CA · 2018 · author #2
  10. What makes a theory of infinitesimals useful? A view by Klein and Fraenkel math.HO · 2018 · author #1
  11. Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy math.LO · 2017 · author #1
  12. Cauchy, infinitesimals and ghosts of departed quantifiers math.HO · 2017 · author #5
  13. Definable minimal collapse functions at arbitrary projective levels math.LO · 2017 · author #1
  14. Minimal axiomatic frameworks for definable hyperreals with transfer math.LO · 2017 · author #2
  15. Definable ${\mathsf E}_0$ classes at arbitrary projective levels math.LO · 2017 · author #1
  16. A positive function with vanishing Lebesgue integral in Zermelo-Fraenkel set theory math.CA · 2017 · author #1
  17. Cauchy's infinitesimals, his sum theorem, and foundational paradigms math.HO · 2017 · author #4
  18. The full basis theorem does not imply analytic wellordering math.LO · 2017 · author #1
  19. Gregory's sixth operation math.HO · 2016 · author #3
  20. A generic property of Solovay's set $\Sigma$ math.LO · 2016 · author #1
  21. Toward a history of mathematics focused on procedures math.HO · 2016 · author #2
  22. Countable OD sets of reals belong to the ground model math.LO · 2016 · author #1
  23. In Cohen generic extension, every countable OD set of reals belongs to the ground model math.LO · 2016 · author #1
  24. A non-standard analysis of a cultural icon: The case of Paul Halmos math.HO · 2016 · author #3
  25. Is Leibnizian calculus embeddable in first order logic? math.LO · 2016 · author #2
  26. Interpreting the infinitesimal mathematics of Leibniz and Euler math.HO · 2016 · author #5
  27. Small oscillations of the pendulum, Euler's method, and adequality math.HO · 2016 · author #1
  28. Leibniz vs Ishiguro: Closing a quarter-century of syncategoremania math.HO · 2016 · author #3
  29. OD elements of countable OD sets in the Solovay model math.LO · 2016 · author #1
  30. A Groszek-Laver pair of undistinguishable $E_0$ classes math.LO · 2016 · author #2
  31. Controversies in the foundations of analysis: Comments on Schubring's Conflicts math.HO · 2016 · author #2
  32. Euler's lute and Edwards' oud math.HO · 2015 · author #1
  33. On countable cofinality and decomposition of definable thin orderings math.LO · 2014 · author #1
  34. Counterexamples to countable-section $\varPi^1_2$ uniformization and $\varPi^1_3$ separation math.LO · 2014 · author #1
  35. A definable $\mathsf E_0$-class containing no definable elements math.LO · 2014 · author #1
  36. A countable definable set of reals containing no definable elements math.LO · 2014 · author #1
  37. Linearization of partial quasi-orderings in the Solovay model revisited math.LO · 2014 · author #1
  38. Bounding and decomposing thin analytic partial orderings math.LO · 2014 · author #1
  39. Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow math.HO · 2014 · author #4
  40. A generalization of Solovay's $\Sigma$-construction with application to intermediate models math.LO · 2014 · author #1
  41. A generalization of Solovay's $\Sigma$-construction math.LO · 2014 · author #1
  42. On countable cofinality of definable chains in Borel partial orders math.LO · 2013 · author #1
  43. Is mathematical history written by the victors? math.HO · 2013 · author #5
  44. Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics math.FA · 2012 · author #1
  45. On effective sigma-boundedness and sigma-compactness math.LO · 2011 · author #1
  46. On effective compactness and sigma-compactness math.LO · 2011 · author #1
  47. On automorphisms behind the Gitik -- Koepke model for violation of the Singular Cardinals Hypothesis w/o large cardinals math.LO · 2010 · author #1
  48. Linear ROD subsets of Borel partial orders are countably cofinal in Solovay's model math.LO · 2010 · author #1
  49. Linear ROD subsets of Borel partial orders are countably cofinal in the Solovay model math.LO · 2010 · author #1
  50. Reasonable non--Radon--Nikodym ideals math.LO · 2008 · author #1
  51. A weak dichotomy below E_1 \times E_3 math.LO · 2007 · author #1
  52. Varia: Ideals and Equivalence Relations, beta-version math.LO · 2006 · author #1
  53. Varia. Ideals and Equivalence Relations math.LO · 2006 · author #1
  54. Effective cardinals in the nonstandard universe math.LO · 2005 · author #1
  55. A definable nonstandard model of the reals math.LO · 2003 · author #1
  56. Some new results on Borel irreducibility of equivalence relations math.LO · 2002 · author #1
  57. What internal set theory knows about standard sets math.LO · 1997 · author #1
  58. Linearization of analytic order relations math.LO · 1997 · author #1
  59. When a partial Borel order is linearizable math.LO · 1997 · author #1
  60. A nonstandard proof of the Jordan curve theorem math.LO · 1996 · author #1
  61. On a dichotomy related to colourings of definable graphs in generic models math.LO · 1996 · author #1
  62. Isomorphism property in nonstandard extensions of ZFC universe math.LO · 1996 · author #1
  63. On nonwellfounded iterated Sacks extensions, with application to the Glimm -- Effros property math.LO · 1995 · author #1
  64. On a Glimm -- Effros dichotomy theorem for Souslin relations in generic universes math.LO · 1995 · author #1
  65. On a Glimm -- Effros dichotomy and an Ulm--type classification in Solovay model math.LO · 1995 · author #1
  66. On a Spector ultrapower of the Solovay model math.LO · 1995 · author #1
  67. IST is more than an algorithm to prove ZFC theorems math.LO · 1993 · author #1

Mentions

  • 1506.02586 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1412.0195 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1410.2537 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1408.6642 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1408.3901 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1408.1202 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1407.0929 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1407.0233 #4 · backfill · confidence 0.70 Vladimir Kanovei
  • 1403.5757 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1402.0961 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1312.2064 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1306.5973 #5 · backfill · confidence 0.70 Vladimir Kanovei
  • 1211.0244 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1110.0919 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 2605.03126 #1 · arxiv_oai · confidence 0.70 Vladimir Kanovei
  • 1103.1060 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1008.3471 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1005.5534 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 1004.5542 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 0806.4760 #1 · backfill · confidence 0.70 Vladimir Kanovei
  • 0707.2706 #1 · backfill · confidence 0.70 Vladimir Kanovei

Frequent Coauthors