RSS

IAFF-User-169

Karma: 11

An Alter­na­tive Set­ting for Re­source-Bounded Lob’s Theorem

IAFF-User-169Jul 6, 2016, 8:40 PM
3 points
0 comments1 min readLW link
(pages.iu.edu)

Re­lat­ing Mo­dal Poly­mor­phism to PA with soundness

IAFF-User-169Aug 1, 2015, 2:57 PM
6 points
2 comments1 min readLW link
(www.overleaf.com)