W 2017 roku Michael Elgersma i pokazali, że można tworzyć łańcuchy czworościanów dowolnie bliskie zamknięcia.
W 1964 roku we wspólnej pracy z Janem Mycielskim wykazał, że z aksjomatu determinacji (AD) wynika mierzalność w sensie Lebesgue’a wszystkich zbiorów liczb rzeczywistych.
W pracy z 2003 roku Świerczkowski przedstawił dowody twierdzeń Gödla o niezupełności przy użyciu zamiast kodowania skończonych ciągów liczb naturalnych. Na tych właśnie dowodach oparł opublikowaną w 2015 roku formalizację obu twierdzeń Gödla o niezupełności w systemie .
Kariera W trakcie studiów doktoranckich Świerczkowski otrzymał stypendium British Councilu na wyjazd do Wielkiej Brytanii – po części dlatego, że dzięki nauce w niemieckiej szkole w czasie wojny dobrze znał angielski. W 1957 roku trafił na Uniwersytet w Dundee, wówczas Queen's College w składzie Uniwersytetu w St Andrews, pod opiekę , z którym pracował nad zagadnieniami teorii grup. Pierwszy pobyt w Szkocji trwał trzy lata. Rok akademicki 1959/1960 spędził na Uniwersytecie w Glasgow.