For a number of theories T* of model-theoretic interest there exists a simpler theory T and infinite cardinal κ such that T* is trace equivalent to the theory of κ-dimensional space over a model of T.
Block Gorman, E
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Trace definability III: Infinite dimensional space over a model of $T$
For a number of theories T* of model-theoretic interest there exists a simpler theory T and infinite cardinal κ such that T* is trace equivalent to the theory of κ-dimensional space over a model of T.