The structure of the classifying ring of formal groups with
... I have also referred to “the moduli stack of formal A-modules” several times in this paper. This is slightly ambiguous for the following reason: formal A-modules as defined below in terms of power series, as a formal group law equipped with extra structure, actually have only a moduli prestack and n ...
... I have also referred to “the moduli stack of formal A-modules” several times in this paper. This is slightly ambiguous for the following reason: formal A-modules as defined below in terms of power series, as a formal group law equipped with extra structure, actually have only a moduli prestack and n ...
Advanced NUMBERTHEORY
... improvised combinatorial amusements of antiquity to the coherently organized background for quadratic reciprocity, which was achieved in the eighteenth Century. The present text constitutes slightly more than enough for a secondsemester course, carrying the student on to the twentieth Century by mot ...
... improvised combinatorial amusements of antiquity to the coherently organized background for quadratic reciprocity, which was achieved in the eighteenth Century. The present text constitutes slightly more than enough for a secondsemester course, carrying the student on to the twentieth Century by mot ...
Proof normalization modulo
... and for simple type theory. This way, we obtain a modular cut elimination proof for simple type theory where all the specificities of this theory are concentrated in the pre-model construction; the lemma that cut elimination holds in some theory if it has a pre-model remains completely general. §1. ...
... and for simple type theory. This way, we obtain a modular cut elimination proof for simple type theory where all the specificities of this theory are concentrated in the pre-model construction; the lemma that cut elimination holds in some theory if it has a pre-model remains completely general. §1. ...
Nearrings whose set of N-subgroups is linearly ordered
... that of planar nearrings by G. Ferrero [6], and that of strongly monogenic nearrings proposed by G. Gallina [7], is useful for this end. Proposition 1. Let (N, +) be a group with an endomorphism ψ and with a group of automorphisms Φ, and let E ⊆ N such that the following conditions (C1), (C2), (C3) ...
... that of planar nearrings by G. Ferrero [6], and that of strongly monogenic nearrings proposed by G. Gallina [7], is useful for this end. Proposition 1. Let (N, +) be a group with an endomorphism ψ and with a group of automorphisms Φ, and let E ⊆ N such that the following conditions (C1), (C2), (C3) ...
On different notions of tameness in arithmetic geometry
... Working over a general base scheme S, we first have to fix some notation. Definition. We call an integral noetherian scheme X pure-dimensional if dim X = dim O X,x for every closed point x ∈ X. Remark 3.1. Any integral scheme of finite type over a field or over a Dedekind domain with infinitely many ...
... Working over a general base scheme S, we first have to fix some notation. Definition. We call an integral noetherian scheme X pure-dimensional if dim X = dim O X,x for every closed point x ∈ X. Remark 3.1. Any integral scheme of finite type over a field or over a Dedekind domain with infinitely many ...