1,069 followers
Jacob Cook, Michael Rathjen : Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory https://t.co/JKb3FYSXL1
Jacob Cook, Michael Rathjen : Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory https://t.co/JKb3FYSXL1
Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory. https://t.co/xJFl3PSZ6D
#arXiv #math_LO "Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory. (arXiv:1603… https://t.co/RWsgukjWkH