Ordinal Logics

Long time no blog. Sorry, been busy planning my 2006 world tour. Dates will be announced shortly.While you're waiting, there's a neat little piece of metamathematics that should be more widely known than it is. You all know that if T is a consistent theory satisfying the usual assumptions, then Con(T) is undecidable in T. … Continue reading Ordinal Logics