Couvre les relations, les séquences et les posets, en mettant l'accent sur des propriétés telles que l'antisymétrie et la transitivité, et introduit des progressions arithmétiques et géométriques.
Couvre les treillis, l'interprétation abstraite, l'analyse des points de fixation, la logique de Hoare et les ordres partiels avec des éléments extrêmes.
Couvre la fermeture algébrique de Qp et la définition des nombres complexes p-adiques, en explorant la dépendance continue des racines sur les coefficients.
Explore la chiralité, la complétude de groupe, les groupes abéliens, les classes conjuguées et les groupes isomorphes en symétrie et en théorie des groupes.
Couvre l'intégration des espaces et l'exhaustivité des espaces, en explorant le lien entre la théorie de l'interpolation et la théorie de l'approximation.
Couvre le produit interne de Petersson et les opérateurs de Hecke dans la théorie des formes modulaires, en explorant leurs définitions et leurs propriétés.
