Formally representable functions from N^N to N

Formally representable functions from N^N to N

TitleFormally representable functions from N^N to N
Publication TypeUnpublished
Year of Publication2015
AuthorsKawai T
Series TitleFifth Workshop on Formal Topology
Date Published06/2015
Institution Institut Mittag-Leffler
CityDjursholm, Stockholm
URLhttp://staff.math.su.se/palmgren/data5wftop/Kawai_slide.pdf
Undefined