Arithmetical algorithms for elementary patterns

Archive for Mathematical Logic 54 (1-2):113-132 (2015)
  Copy   BIBTEX

Abstract

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

Author's Profile

Samuel Allen Alexander
Ohio State University (PhD)

Analytics

Added to PP
2015-09-03

Downloads
416 (#54,960)

6 months
150 (#25,813)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?