Lothar Sebastian Krapp

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Propositional Logic

Group Membership

Model Theoretic

Top Venues

Bull. Symb. Log.

Publications

Lothar Sebastian Krapp, Salma Kuhlmann, Moritz Link
Definability of Henselian Valuations by conditions on the Value Group. J. Symb. Log. 88 (3) (2023)
Lothar Sebastian Krapp, Salma Kuhlmann, Gabriel Lehéricy
Strongly NIP almost real closed fields. Math. Log. Q. 67 (3) (2021)
Merlin Carl, Lothar Sebastian Krapp
Models of true arithmetic are integer parts of models of real exponentation. J. Log. Anal. 13 (2021)
Lothar Sebastian Krapp
Algebraic and Model Theoretic Properties of O-minimal Exponential Fields. Bull. Symb. Log. 27 (4) (2021)
Lothar Sebastian Krapp
Value groups and residue fields of models of real exponentiation. J. Log. Anal. 11 (2019)