Font Size
Keywords
Analytic sets
Automatic continuity
Computable presentations
Continuous logic
Effective completeness
Lusin's Theorem
Metric structures
Polish group, Non-singular transformation
co-analytic sets
collapsing hierarchy
expansions of the real ordered additive group, fractals, monadic second order theory of one successor
infinite measure-preserving transformation
intuitionistic separation theorems
levels of standardness
model theory, von Neumann algebra, free entropy, random matrix, strongly 1-bounded, ultraproduct
nonstandard analysis
o-minimal structures, log-analytic functions, exponential number, preparation theorems
proof mining
rates of convergence
recursive inequalities
subgradient methods