Structural-Abstraction Principles †

<span class="paragraphSection">In this paper, I present a class of ‘structural’ abstraction principles, and describe how they are suggested by some features of Cantor's and Dedekind's approach to abstraction. Structural abstraction is a promising source of mathematically tractable new axioms for the neo-logicist. I illustrate this by showing, first, how a theorem of Shelah gives a sufficient condition for consistency in the structural setting, solving what neo-logicists call the ‘bad company’ problem for structural abstraction. Second, I show how, in the structural setting, we can measure the logical strength of abstraction principles using categories of interpretations between theories.</span>

from #AlexandrosSfakianakis via Alexandros G.Sfakianakis on Inoreader http://ift.tt/2lAkT7I
via IFTTT