Salma Kuhlmann

14 papers Journal 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Refinement of Hilbert's 1888 Theorem: Separating Cones Along the Veronese Variety.
SIAM J. Appl. Algebra Geom.
Charu Goel, Sarah Hess, Salma Kuhlmann
2025 J jnl
On nonnegative invariant quartics in type A.
J. Symb. Comput.
Sebastian Debus, Charu Goel, Salma Kuhlmann, Cordian Riener
2025 J jnl
Ordered transexponential fields.
Ann. Pure Appl. Log.
Lothar Sebastian Krapp, Salma Kuhlmann
2023 J jnl
Definability of Henselian Valuations by conditions on the Value Group.
J. Symb. Log.
Lothar Sebastian Krapp, Salma Kuhlmann, Moritz Link
2021 J jnl
Strongly NIP almost real closed fields.
Math. Log. Q.
Lothar Sebastian Krapp, Salma Kuhlmann, Gabriel Lehéricy
2019 J jnl
Compatibility of Quasi-Orderings and Valuations: A Baer-Krull Theorem for Quasi-Ordered Rings.
Order
Salma Kuhlmann, Simon Müller
2019 J jnl
Definable valuations induced by multiplicative subgroups and NIP fields.
Arch. Math. Log.
Katharina Dupont, Assaf Hasson, Salma Kuhlmann
2018 J jnl
A Baer-Krull Theorem for Quasi-Ordered Groups.
Order
Salma Kuhlmann, Gabriel Lehéricy
2015 J jnl
A Valuation Theoretic Characterization of Recursively saturated Real Closed Fields.
J. Symb. Log.
Paola D'Aquino, Salma Kuhlmann, Karen M. Lange
2015 J jnl
The Exponential-Logarithmic Equivalence Classes of Surreal Numbers.
Order
Salma Kuhlmann, Mickaël Matusinski
2012 J jnl
Comparison of exponential-logarithmic and logarithmic-exponential series.
Math. Log. Q.
Salma Kuhlmann, Marcus Tressl
2005 J jnl
Lexicographic exponentiation of chains.
J. Symb. Log.
W. Charles Holland, Salma Kuhlmann, Stephen H. McCleary
1999 J jnl
Infinitary Properties of Valued and Ordered Vector Spaces.
J. Symb. Log.
Salma Kuhlmann
1995 J jnl
On the structure of nonarchimedean exponential fields I.
Arch. Math. Log.
Salma Kuhlmann