{"id":"palomar/PALOMAR-2026-09-30-000036","url":"https://github.com/balancedscorpion/countably-infinite-dimension-meyer-spaces/tree/0de61962a757b5e930dfe59dd94d191ae1f87922","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-09-30-000036-v1.json","repo":"https://github.com/balancedscorpion/countably-infinite-dimension-meyer-spaces","tags":["math.CA","math.FA","msc:42A38","msc:46F12","msc:52C23","harmonic-analysis","distributions","fourier-analysis","formalization"],"score":0,"title":"A complete crystalline-measure space of countably infinite Hamel dimension","trust":"high","domain":"math.CA","source":"palomar","authors":["Jamie Martin","Li Shen"],"reviews":0,"subject":"math.CA","summary":"There exists a locally finite set Λ in the real line such that the complete complex vector space of tempered distributions locally given by atomic measures on Λ, whose distributional Fourier transforms are also locally atomic on Λ, has Hamel dimension ℵ₀. A countable family gives a unique finite linear expansion of every admissible distribution, and every finite expansion is admissible. The theorem includes the equivalence between a Schwartz-vanishing-ideal definition and the local atomic formulas on both Fourier sides. Temperedness is distributional; no additional polynomial total-variation…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-09-30","reactions":{},"formalized":true,"formalizes":[{"title":"Cardinal question decided: aleph_0 occurs — adaptive reciprocal construction and target composition","identifier":"https://github.com/ls558/MeyerGeneralProblem/blob/aad158a9f4ba3c4db52385ef1856a918edc22c83/attempts/target-cardinal-closure/attempt-countable-cardinal-target-composition/artifacts/TARGET_COMPOSITION.md","relationship":"formalizes"}]}