Ex 3.5.12 from Tao analysis book (rigorous proof of recursive definitions)
42970
Proof of a proposition about recursion definition (Terence Tao's Analysis I)
135066
How do the authors deduce this weaker version of Transfinite Recursion?
151521
Set Theory: Tree Property
96025
Showing there is only one isomorphism between well ordered sets using transfinite induction
73334
Proving this relation is transitive
80183
Deduction of "Disjunction elimination"
158728
Using induction for an easy proof for formal languages
107349
Working with elementary type proofs of divisor functions
77791
Proving an inclusion related to algebraic sets and interpreting it
4240
The proof of Triple Vector Products
61747
Proof of exchange principle in set theory
138897
help with some Hilbert style proofs in a propositional logic axiom system.
96748
Formal deductions on Hilbert system
113708
Correspondence between Ext group and extensions (from Weibel's book)
113065
Proving equivalences of statements equivalent to AC
35868
Elementary properties of closure
71978
Tower of Hanoi: Recursive Algorithm