completed the list of Basic axioms, following Buss, in the appendix
Revised the definitions at the beginning of sect 4, and added after Def 14 a comment about B^i and integer positive formulas.
Modified lemma 19 on well-typed proofs, and gave a proof sketch.
Modified sequent calculus rules (weakening in axioms)
.
B^i sequent calculus
added polynomial induction definition
added the sequent calculus rules and a free-cut elimination theorem
witness functions
characteristic functions
predicative minimisation
corrected polynomial checking lemma
+ 1 reference
preliminaries: definitions PH
added in preliminaries the polychecking lemma
added definitions mubc
added basic template
added csl17 dir
rough draft done with goals at end - now move onto paper
added soundness file
done
revised the second table of sect 2
done for now - section 2 still needs a little work
done with narrative - only references and tables need to be cleaned up
added some items in biblio
draft finished
done with sects 1 and 2 for now
reformatted and added intro
added 2 items
all done
added keywords + classification
finished revision
revised up to end of sect 5
some updates
should be in sync
ignore this
added biblio item of Marion 2001, and citation to it in introduction
various minor corrections
affiliation+on p. 3 condition on init in 4.
added submitted version copy
deleted old feas-arith file
revised sect 3
bc-convergence appendix
draft
sect 5: simultaneous PRN
sect 5: BC=FP
partly revised sect 5
wfm
arithmetic section finished