most citedDistributions of countable models of theories with continuum many types

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

collaborators

2 papers

cs.HC2026

Changing Pedagogical Paradigms: Integrating Generative AI in Mathematics to Enhance Digital Literacy through 'Mathematical Battles with AI'

Maria Moskalenko, Alexander Trifanov, Roman Popkov +4

This paper introduces `Math Battles with AI', an innovative competitive format designed at ITMO University to redefine the role of generative AI in mathematics education. Moving aw…

math.LO2012★ 1 cited

Distributions of countable models of theories with continuum many types

Roman A. Popkov, Sergey V. Sudoplatov

We present distributions of countable models and correspondent structural characteristics of complete theories with continuum many types: for prime models over finite sets relative…