▁Ken ny ▁and ▁Fri ends ▁EP ▁( This ▁Ain ' t ▁Br istol , 2 0 1 7 ) ▁One ▁Night ▁Stand ▁EP ▁( This ▁Ain ' t ▁Br istol , 2 0 1 6 ) ▁The ▁Horn ▁Th ing ▁EP ▁( F ood ▁Music , ▁ 2 0 1 6 ) ▁ ▁Singles ▁ ▁Set ▁Me ▁Free ▁( U lt ra / S ony ▁ 2 0 1 8 ) ▁ ▁References ▁ ▁External ▁links ▁Billy ▁Ken ny ▁at ▁BBC ▁Music ▁ ▁Category : L iving ▁people ▁Category : B rit ish ▁male ▁singer - song writ ers ▁Category : B rit ish ▁record ▁produ cers ▁Category : Year ▁of ▁birth ▁missing ▁( l iving ▁people ) <0x0A> </s> ▁Thomas ▁J . ▁Je ch ▁( , ▁; ▁born ▁January ▁ 2 9 , ▁ 1 9 4 4 ▁in ▁Prag ue ) ▁is ▁a ▁math ematic ian ▁special izing ▁in ▁set ▁theory ▁who ▁was ▁at ▁P enn ▁State ▁for ▁more ▁than ▁ 2 5 ▁years . ▁ ▁Life ▁He ▁was ▁educated ▁at ▁Charles ▁University ▁( his ▁ad visor ▁was ▁Pet r ▁V op ě n ka ) ▁and ▁from ▁ 2 0 0 0 ▁is ▁at ▁the ▁Institute ▁of ▁Mathemat ics ▁of ▁the ▁Academy ▁of ▁Sciences ▁of ▁the ▁Czech ▁Republic . ▁ ▁Work ▁Je ch ' s ▁research ▁also ▁includes ▁mathematical ▁logic , ▁algebra , ▁analysis , ▁topology , ▁and ▁measure ▁theory . ▁ ▁Je ch ▁gave ▁the ▁first ▁published ▁proof ▁of ▁the ▁consist ency ▁of ▁the ▁existence ▁of ▁a ▁Sus lin