Revision #2407 → #3101 · back to history
addedTuring's undecidability of the halting problem (lead)7f456ba2b383
addedReal closed fields (Tarski) complete and decidable26948cd6b2ba
addedPRA proves Con(F) → G_F609946570b9c
addedPA is essentially undecidablec4f666d0d894