The ORM Foundation

Get the facts!

Browse by Tags

Sorry, but there are no more tags available to filter with.
  • SOL as isomorphic interpretation of theories in a FOL

    Hi there, I believe OF is as good a place as any if I want to find logicians. Does anyone know how well known it is that theorems of 'Second Order Logic' may be expressed/interpreted as isomorphic interpretations of theorems expressed in First Order Logic. i.e. Is there good documentary evidence...
    Posted to Philosophy (Forum) by VictorMorgante on Sat, May 31 2008
Page 1 of 1 (1 items)
© 2008-2015 The ORM Foundation: A UK not-for-profit organisation -------------- Terms of Service