📁 CatalanConjecture
Sites related to the Catalan Conjecture, that 8 and 9 are the only consecutive powers.
条目 (5+)
Model Theory of Fields: Suggested Reading
http://www.math.uic.edu/~marker/mtf-reading.html
Proof Theory as an Alternative to Model Theory
http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ProofTheoryAsAlternative.html