Throughout the paper, an analytic field means a non-archimedean complete real-valued field, and our main objective is to extend basic theory of transcendental extensions these fields. One easily introduces topological analogue transcendence degree, but, surprisingly, it turns out that may behave very badly. For example, particular case theorem Matignon-Reversat, [8, Thèoréme 2] , asserts if cha...

1. Table of symbols 2 2. Transcendence for Drinfeld modules 2 2.1. Wade’s results 2 2.2. Drinfeld modules 3 2.3. The Weierstraß-Drinfeld correspondence 3 2.4. Carlitz 5 2.5. Yu’s work 6 3. t-Modules 7 3.1. Definitions 7 3.2. Yu’s sub-t-module theorem 8 3.3. Yu’s version of Baker’s theorem 8 3.4. Proof of Baker-Yu 8 3.5. Quasi-periodic functions 9 3.6. Derivatives and linear independence 12 3.7....

One of the most well known proofs is to argue by contradiction as follows: assume √ 2 is rational and write it as a/b where a and b are relatively prime positive rational integers. Then a = 2b. It follows that a is even. Write a = 2a′. From 2a′ = b one deduces that b also is even, contradicting the assumption that a and b were relatively prime. There are variants of this proof a number of them ...