{"id":"palomar/PALOMAR-2026-09-21-000006","url":"https://github.com/archernikov/abel-formalization/tree/acf1a5a138aa966e1380e4af3100e6c286d00fe6","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-09-21-000006-v1.json","repo":"https://github.com/archernikov/abel-formalization","tags":["math.LO","msc:03C64","model-theory","o-minimality","exponential-growth"],"score":0,"title":"A transexponential o-minimal structure","trust":"high","domain":"math.LO","source":"palomar","authors":["Artem Chernikov"],"reviews":0,"subject":"math.LO","summary":"The real field expanded by the function $x\\mapsto A(1+x^2)$, where $A$ is a normalized analytic Abel function for $e^x-1$, is an o-minimal structure that defines a function that grows faster than any finite iterate of the exponential function.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-09-21","reactions":{},"formalized":true,"formalizes":[{"title":"A transexponential o-minimal structure (maybe)","identifier":"sha256:f71eff9a0f971a8b17ac33c956b34313625c4e986bb9f9dff269ff1b869029d2","relationship":"formalizes"}]}