In "Rings, Modules, and Algebras in Stable Homotopy Theory" Elmendorf, Kriz, Mandell and May introduce a notation of spectra indexed over an universe $\mathcal{U}$ as a collection of pointed topological spaces index by finite subspaces of the universe. Has anyone seen a definition using pointed simplicial sets instead? What would be a simplicial model for the onepoint compactification $S^V$ of a real finite dimensional vector space? Just its singular complex?

Yes to both interpretations of your question. It is not clear to me where you want to put pointed simplicial sets. One interpretation of your question is that you want to replace pointed topological spaces with pointed simplicial giving the notion of a spectrum as a functor from supspaces of U to pointed sSet. This is a very common thing to do, and in some circles in homotopy theory is the standard definition of spectrum. Often "space" is interpreted as meaning simplicial set. This is because of the standard Quillen equivalence between Top and sSet. The other possible interpretation of your question is that you are trying to replace vector spaces with simplicial sets. This is also (essentially) something which has been done. It gives a model of spectra known as Wspaces. This is one of the standard diagram category models of spectra. See the following paper for a comparison: Model categories of diagram spectra, by M. A. Mandell, J. P. May, S. Schwede, and B. Shipley 


Chris, that is not actually what we did. Personally, I find indexing simplicial sets by inner product spaces to be unnecessary and unhelpful, and I've not coauthored any paper with such a construction. One can easily compare symmetric spectra in simplicial sets with symmetric spectra in topological spaces, and one can easily compare symmetric spectra in topological spaces with orthogonal spectra. I see no point in a hybrid. As a matter of detail, in defining orthogonal spectra one can perfectly well work with all finite dimensional inner product spaces, without choosing a universe, whereas the universe is needed to define the linear isometries operad used in the EKMM construction. It is nice to keep the S^V as they are: that makes generalization to Gspectra effortless, where G is a compact Lie group, and that works for both orthogonal spectra of spaces and EKMM Smodules. I prefer eclecticism: the different models have different advantages. Here is an eclectic correct definition: a map of symmetric spectra (of spaces) is a weak equivalence iff its pushforward map of orthogonal spectra induces an isomorphism of homotopy groups. (Proven in the paper MMSS Chris cites.) 


ps: I really don't like ``if you really must ...''. There are serious advantages to working in a model category in which every object is fibrant, and, related to that, both for theory and computations it is very helpful to have a clean zeroth space functor from spectra to highly structured spaces. 

