Abstract
A structure is associated with the quantum harmonic oscillator, over a fixed algebraically closed field IF of characteristic 0, which is shown to be uncountably categorical. An analysis of definable sets is carried out, from which it follows that this structure is a Zariski geometry of dimension 1. It is non-classical in the sense that it is not interpretable in ACF(0) and in the case F = C, is not a structure on a complex manifold. (C) 2014 Published by Elsevier B.V.
Original language | English |
---|---|
Pages (from-to) | 1149-1168 |
Number of pages | 20 |
Journal | Annals of Pure and Applied Logic |
Volume | 165 |
Issue number | 6 |
DOIs | |
Publication status | Published - Jun 2014 |
Keywords
- Interpretability
- Zariski geometries