![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| model-theory/ | 04-Aug-2015 10:27 | - | |
| undecidable/ | 11-Jan-2012 16:58 | - | |
| spectra/ | 11-Jan-2012 16:58 | - | |
| riemann/ | 11-Jan-2012 16:58 | - | |
| pocketref/ | 11-Jan-2012 16:58 | - | |
| physics/ | 11-Jan-2012 16:58 | - | |
| pfaffian/ | 11-Jan-2012 16:58 | - | |
| numbers/ | 11-Jan-2012 16:58 | - | |
| mult-gp-covers/ | 11-Jan-2012 16:58 | - | |
| logic/ | 11-Jan-2012 16:58 | - | |
| linear_algebra/ | 11-Jan-2012 16:58 | - | |
| groups/ | 11-Jan-2012 16:58 | - | |
| gmc/ | 11-Jan-2012 16:58 | - | |
| function_fields/ | 11-Jan-2012 16:58 | - | |
| from_others/ | 11-Jan-2012 16:58 | - | |
| endomorphisms/ | 11-Jan-2012 16:58 | - | |
| elliptic_curves/ | 11-Jan-2012 16:58 | - | |
| discrete/ | 11-Jan-2012 16:58 | - | |
| dcf_zero/ | 11-Jan-2012 16:58 | - | |
| cryptography/ | 11-Jan-2012 16:58 | - | |
| ant/ | 11-Jan-2012 16:58 | - | |
| Wronskian/ | 11-Jan-2012 16:58 | - | |
| Witt_vectors/ | 11-Jan-2012 16:58 | - | |
| Rubik/ | 11-Jan-2012 16:58 | - | |
| Riemann-Roch/ | 11-Jan-2012 16:58 | - | |
| Recursion/ | 11-Jan-2012 16:58 | - | |
| QE/ | 11-Jan-2012 16:58 | - | |
| Macintyre/ | 11-Jan-2012 16:58 | - | |
| Luroth/ | 11-Jan-2012 16:58 | - | |
| Lie-rings/ | 11-Jan-2012 16:58 | - | |
| Kac-Moody/ | 11-Jan-2012 16:58 | - | |
| Dries/ | 11-Jan-2012 16:58 | - | |
| references.bib | 16-Sep-2008 09:56 | 126K | |
| abbreviations.tex | 10-Nov-2007 17:14 | 19K | |
| sectionless-theorems.tex | 09-Nov-2007 15:36 | 3.0K | |
| references-old.bib | 02-Nov-2007 13:51 | 107K | |
| report-theorems.tex | 18-Apr-2007 09:10 | 2.2K | |
| format.tex | 18-Apr-2007 09:10 | 1.3K | |
| book-theorems.tex | 18-Apr-2007 09:10 | 3.1K | |
| article-theorems.tex | 27-Sep-2005 13:51 | 2.2K | |