Detlefsen, Michael Abstraction, axiomatization and rigor: Pasch and Hilbert. (English) Zbl 1429.00007 Hellman, Geoffrey (ed.) et al., Hilary Putnam on logic and mathematics. Cham: Springer. Outst. Contrib. Log. 9, 161-178 (2018). MSC: 00A30 03A05 PDF BibTeX XML Cite \textit{M. Detlefsen}, Outst. Contrib. Log. 9, 161--178 (2018; Zbl 1429.00007) Full Text: DOI OpenURL
Lemmermeyer, Franz David Hilbert: The theory of algebraic number fields. Jahresber. Deutsche Math. Ver. 4 (1897), 175–546. (David Hilbert: Die Theorie der algebraischen Zahlkörper. Jahresber. Deutsche Math. Ver. 4 (1897), 175–546.) (English) Zbl 1397.01016 Jahresber. Dtsch. Math.-Ver. 120, No. 1, 41-79 (2018). Reviewer: Stefan Neuwirth (Besançon) MSC: 01A55 01A60 11-03 11A15 11R04 PDF BibTeX XML Cite \textit{F. Lemmermeyer}, Jahresber. Dtsch. Math.-Ver. 120, No. 1, 41--79 (2018; Zbl 1397.01016) Full Text: DOI OpenURL
Vostokov, S. V.; Afanas’eva, S. S.; Bondarko, M. V.; Volkov, V. V.; Demchenko, O. V.; Ikonnikova, E. V.; Zhukov, I. B.; Nekrasov, I. I.; Pital’, P. N. Explicit constructions and the arithmetic of local number fields. (English. Russian original) Zbl 1433.11130 Vestn. St. Petersbg. Univ., Math. 50, No. 3, 242-264 (2017); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 4(62), No. 3, 402-435 (2017). MSC: 11S31 11S70 11-02 11-03 PDF BibTeX XML Cite \textit{S. V. Vostokov} et al., Vestn. St. Petersbg. Univ., Math. 50, No. 3, 242--264 (2017; Zbl 1433.11130); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 4(62), No. 3, 402--435 (2017) Full Text: DOI OpenURL
Detlefsen, Michael On the motives for proof theory. (English) Zbl 1429.03002 Wansing, Heinrich (ed.), Dag Prawitz on proofs and meaning. Cham: Springer. Outst. Contrib. Log. 7, 121-145 (2015). MSC: 03-03 03F03 01A60 PDF BibTeX XML Cite \textit{M. Detlefsen}, Outst. Contrib. Log. 7, 121--145 (2015; Zbl 1429.03002) Full Text: DOI OpenURL
Gotzmann, Gerd Einfacher Zusammenhang der Hilbertschemata von Kurven im komplex-projektiven Raum. (Simple connectedness of the Hilbert schemes of curves in complex projective space). (German) Zbl 0734.14001 Invent. Math. 99, No. 3, 655-675 (1990). Reviewer: K.Drechsler (Halle-Neustadt) MSC: 14C05 14F45 14H10 PDF BibTeX XML Cite \textit{G. Gotzmann}, Invent. Math. 99, No. 3, 655--675 (1990; Zbl 0734.14001) Full Text: DOI EuDML OpenURL
Cassels, J. W. S. Mordell’s finite basis theorem revisited. (English) Zbl 0601.14001 Math. Proc. Camb. Philos. Soc. 100, 31-41 (1986). Reviewer: J.Dieudonné MSC: 14-03 14G05 01A60 11D25 11D41 01A55 14H45 PDF BibTeX XML Cite \textit{J. W. S. Cassels}, Math. Proc. Camb. Philos. Soc. 100, 31--41 (1986; Zbl 0601.14001) Full Text: DOI OpenURL
Wang, Hao The axiomatization of arithmetic. (English) Zbl 0078.00503 J. Symb. Log. 22, 145-158 (1957). PDF BibTeX XML Cite \textit{H. Wang}, J. Symb. Log. 22, 145--158 (1957; Zbl 0078.00503) Full Text: DOI OpenURL