Talk:Axiom of reducibility

Latest comment: 12 years ago by Cherlin in topic WTF link
edit

This article links to Ramified Theory of Types, which is redirected to Mathematica Principia, which doesn't describe any ramified theory of types, but, however, links back to this article. The link probably made sense when it was created, but whatever it might have once linked to is lost to all human knowledge. 71.72.235.91 (talk) 02:34, 10 June 2010 (UTC)Reply

Fixed to redirect to Type theory, which does discuss the ramified theory.--Cherlin (talk) 16:14, 7 February 2012 (UTC)Reply