Proof Mining - Mathematics, Algorithms and Proofs
Proof Mining - Mathematics, Algorithms and Proofs
Proof Mining - Mathematics, Algorithms and Proofs
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Proof</strong> <strong>Mining</strong><br />
Definition 14 Let X be a non-empty set. The full set-theoretic<br />
type structure S ω,X := 〈Sρ〉 ρ∈T X over IN <strong>and</strong> X is defined by<br />
S0 := IN, SX := X, Sτ→ρ := S Sτ<br />
ρ .<br />
Here S Sτ<br />
ρ is the set of all set-theoretic functions Sτ → Sρ.<br />
Ulrich Kohlenbach 18