Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Asymptotic analysis of skolem’s exponential functions.Alessandro Berarducci & Marcello Mamino - 2020 - Journal of Symbolic Logic:1-25.
    Skolem studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant $1$, the identity function ${\mathbf {x}}$, and such that whenever f and g are in the set, $f+g,fg$ and $f^g$ are in the set. This set of germs is well ordered and Skolem conjectured that its order type is epsilon-zero. Van den Dries and Levitz computed the order type of the fragment below $2^{2^{\mathbf {x}}}$. Here we prove that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Asymptotic analysis of skolem’s exponential functions.Alessandro Berarducci & Marcello Mamino - 2022 - Journal of Symbolic Logic 87 (2):758-782.
    Skolem studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant $1$, the identity function ${\mathbf {x}}$, and such that whenever f and g are in the set, $f+g,fg$ and $f^g$ are in the set. This set of germs is well ordered and Skolem conjectured that its order type is epsilon-zero. Van den Dries and Levitz computed the order type of the fragment below $2^{2^{\mathbf {x}}}$. Here we prove that (...)
    Download  
     
    Export citation  
     
    Bookmark