NTP2 expansions of (R,<,+) by constructible sets define only constructible sets with generically piecewise continuous functions, with extensions to Qp and ordered groups.
[Wal22] Erik Walsberg
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.LO 2verdicts
UNVERDICTED 2representative citing papers
Introduces trace definability for first-order structures and establishes preservation and characterization results for classification-theoretic properties under it.
citing papers explorer
-
NTP2 topological structures
NTP2 expansions of (R,<,+) by constructible sets define only constructible sets with generically piecewise continuous functions, with extensions to Qp and ordered groups.
-
Trace definability I: preservation and characterizations
Introduces trace definability for first-order structures and establishes preservation and characterization results for classification-theoretic properties under it.