Revision as of 21:00, 12 January 2015 edit 79.235.170.206 (talk) No edit summary ← Previous edit		Revision as of 21:01, 12 January 2015 edit undo SineBot (talk \| contribs) Bots 2,564,804 edits m Signing comment by 79.235.170.206 - "" Next edit →
Line 6: This is probably supposed to mean either that admissible SETS are models of KP or that for an admissible ordinal, the corresponding L-level is a model of KP? As it stands, it is certainly false. <small class="autosigned">— Preceding [[Wikipedia:Signatures\|unsigned]] comment added by [[Special:Contributions/79.235.170.206\|79.235.170.206]] ([[User talk:79.235.170.206\|talk]]) 21:00, 12 January 2015 (UTC)</small><!-- Template:Unsigned IP --> <!--Autosigned by SineBot--> ~~it is certainly false.~~

Talk:Alpha recursion theory: Difference between revisions