User:Lord Farin/Long-Term Projects/Howson

= Processing of 'A Handbook of Terms used in Algebra and Analysis' =



First page it covers: Definition:Statement.

A reference book for undergraduate maths.

Progress thus far
Initial set-up complete. &mdash; Lord_Farin (talk) 16:53, 7 April 2014 (UTC)

Up to $\S 2$. Definition:Set. &mdash; Lord_Farin (talk) 14:13, 8 April 2014 (UTC)

Missing Proofs
None atm

Skipped thus far (that is, what needs to be done still)
The following notions have not been introduced on yet, and Howson is only a reference work, hence unsuitable as a primary source:

$\S 1$: Some mathematical language
 * Variables and quantifiers
 * Definition:Closed Formula (no free vars)
 * Definition:Open Formula (free vars)
 * Definition:Solution Set (for relations with free vars)
 * Axiom systems
 * Definition:Satisfiable Proof System (one which has a model)
 * Definition:Consistent Proof System (one for which $\varnothing \not\vdash \phi$ for some $\phi$)
 * Definition:Relative Consistency (consistent embedding of one proof system into another)
 * Definition:Independent Axiom (not derivable from others)
 * Definition:Independent Proof System (all axioms independent)
 * Definition:Categorical Axiom System (all models isomorphic)

Other things
None