Expansions of real closed fields that introduce no new smooth functions

DOI10.1016/j.apal.2020.102808zbMath1454.14139arXiv1812.10151OpenAlexW3013668185MaRDI QIDQ2187264

Pantelis E. Eleftheriou, Alex Savatovsky

Publication date: 2 June 2020

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1812.10151

zbMATH Keywords

o-minimalitysmooth functionsd-minimalitytame expansions

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Nash functions and manifolds (14P20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two
• The field of reals with a predicate for the powers of two
• Structure theorems for o-minimal expansions of groups
• Expansions of o-minimal structures by iteration sequences
• Returning to semi-bounded sets
• Expansions of dense linear orders with the intermediate value property
• An open mapping theorem for o-minimal structures
• Michael’s Selection Theorem in d-minimal expansions of the real field
• D-minimal expansions of the real field have the zero set property
• Expansions which introduce no new open sets
• Expansions of o-minimal structures by fast sequences

This page was built for publication: Expansions of real closed fields that introduce no new smooth functions