Keyword:Gleason Theorem

Publications
Fermat’s Last Theorem Proved in Hilbert Arithmetic. II. Its Proof in Hilbert Arithmetic by the Kochen-Specker Theorem with or Without Induction Vasil Penchev EasyChair Preprint 7933