Font Size
Keywords
Gaussian measures
Nonstandard analysis
R-trees, model theory, metric structures, continuous logic, real-valued structures, model completion, categoricity, stability
Representation of integers, Internal set theory, Polynomial congruence
Solovay reducibility, Lipschitz continuity, Hölder continuity, computable analysis
Spherical integrals
computable analysis, computable structure theory, computable probability theory, functional analysis
convex functions, constructive analysis, constructive reverse mathematics
factoring of integers, nonstandard analysis, unlimited integers, Dickson’s conjecture