Asta H. From (076c9f03) at 05 Feb 14:16
Update names to match thesis.
Asta H. From (6cf609aa) at 14 Dec 11:44
Update headers and metadata.
Asta H. From (7a04ce81) at 11 Dec 15:14
Fix ROOT again
Asta H. From (6585ce20) at 11 Dec 15:09
Fix ROOT
Asta H. From (4dded221) at 11 Dec 14:57
Use transfinite induction to prove Lindenbaum's lemma, removing the...
Asta H. From (1a707845) at 28 Sep 16:16
Cosmetic changes.
Asta H. From (84130151) at 24 Sep 09:00
Remove fontenc from root.tex to make Ł show in PDF.
Asta H. From (bbdf435b) at 23 Sep 18:25
Update ROOT...
Asta H. From (efbb7028) at 23 Sep 16:55
Appendix with another axiom system as a variant of the proof.
Asta H. From (2b82e207) at 19 Sep 19:01
Neater links
Asta H. From (d8d45c19) at 16 Sep 11:24
Add additional results.
Asta H. From (3fb2196d) at 16 Sep 10:13
Formatting.
Asta H. From (8450f63a) at 16 Sep 10:11
Add papers to abstracts.
Asta H. From (8e0682f8) at 23 Aug 14:12
Reintroduce type signatures.
Asta H. From (70d55ebc) at 23 Aug 13:23
Switch to simultaneous substitutions.
Asta H. From (bc705281) at 25 Jul 09:43
Tuned.
Asta H. From (6b734f15) at 07 Jul 10:57
Improvements.
Asta H. From (e756346f) at 06 Jul 13:48
Small changes.
Asta H. From (eca2dd99) at 06 Jul 11:59
Undo accidental changes.