BranchCommit messageAuthorAge
masterAdd disclaimers.David A. Madore6 years
AgeCommit messageAuthorFilesLines
2017-07-29Add disclaimers.HEADmasterDavid A. Madore1-0/+7
2017-07-29Add some more references to Simpson's SoSOA.David A. Madore1-2/+8
2017-07-29Improve some references.David A. Madore1-4/+9
2015-11-17Add references to papers by Gostanian.David A. Madore1-4/+12
2015-11-12Give a further pseudo-reference for the same statement.David A. Madore1-1/+3
2015-11-12Add a pseudo-reference for a statement that needs to be checked.David A. Madore1-2/+8
2014-04-23Fix obvious thinko.David A. Madore1-1/+1
2013-02-20Avoid making a dubious hypothesis on the collapsing function.David A. Madore1-4/+3
2013-02-20Reference Avigad's paper for ordinals closed under primitive recursive functi...David A. Madore1-2/+7
2013-02-20Fix/clarify what is meant by the various countable collapses.David A. Madore1-13/+21